http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Software engineering of fault tolerant systems
1. Fault tolerance engineering: from requirements to code -- 2. Verification and validation of fault tolerant systems -- 3. Languages and tools for engineering fault tolerant systems
Includes bibliographical references (p. 280-281)
Series on software engineering and knowledge engineering vol. 19