00591cam a2200205 7i4500 0000007314 20150325090000.0 iicp-my 20021204214900.0 000000 00 0201427877 200212042149 VLOAD 005.8570 STO Storey, Neil Safety-critical computer systems Neil Storey. Harlow, England: Addison-Wesley, c1996. p.: ill.; cm.. Includes index 1000012382 Book White Spot 1000014478 Book Yellow Spot