Safety-critical computer systems

Main Author: Storey, Neil
Published: Harlow, England: Addison-Wesley, c1996.