A must-read reference book regarding safe-critical applications such as aviation and transportation.