Software Reliability Techniques for Real-World Applications こちらもおすすめ

Certifications of Critical Systems – The CECRIS Experience