High-Integrity System Specification and Design

Brings together classic essays on system specification and design, and new contributions, in a single volume