Comprehensive coverage of all key concerns for designers of critical systems including standards compliance, verification and validation, and design tradeoffs Real-world case studies contained within these pages provide insight from experience