Safety-critical computer systems - Storey, Neil. (Harlow, England : Addison-Wesley, 1996)
Includes bibliographical references and index.
Keywords: Industrial safety -- Data processing; System safety; Automatic control -- Reliability