I didn't want to sound pedantic but for an audience that has specific knowledge about faults it is odd to avoid mentioning at least once the BFT kind of errors when you are mentioning cosmic rays. It is part of the field of fault tolerance and it is a different type of fault.