Individual Latent Error Detection (I-LED) こちらもおすすめ

Certifications of Critical Systems – The CECRIS Experience