High-Integrity System Specification and Design - Michael G. Hinchey - E-bok | Bokus