TY  - BOOK
AU  - Storey, Neil
TI  - Safety critical computer systems
SN  - 9780201427875
ER  -