Mission-critical and safety-critical systems handbook design and development for embedded applications (Elsevier/Newnes, 2010)
Includes bibliographical references and index