The Safety Critical Systems Handbook: A Straightforward Guide ...
Dr David J Smith & Kenneth GL Simpson