You have a minor misspelling in the following sentence:
An exception may be made if SuperONE can demonstrate that the double-signing occured due to a bug in the reference software; the burden of proof is on SuperONE.It should be occurred instead of occured.