Mission-critical and safety-critical systems handbook design and development for embedded applications - Fowler, Kim R., 1956- (Elsevier/Newnes, 2010)