Professor Patrick Honohan:

That would be for derivatives. An event of default is something that would be determined in a derivatives ISDA model because that would be written into the contract as they would define it, but for bonds a court could eventually decide. I am not a specialist in the exact process.