Fault tree, temporal events, radiation effects, single-event effects, statistical modelchecking, formal verification, system-level analysis, reliability, availability