Safety-critical computer systems - Storey, Neil (Harlow Addison-Wesley, 1996)
includes index.
1
Keywords: Industrial safety -- Data processing; System safety; Automatic control -- Reliability