TY  - BOOK
AU  - Storey, Neil
TI  - Safety Critical Computer Systems 
SN  - 0201427877
U1  - 620.860285 
PY  - 1996///
CY  - Harlow, England : 
PB  - Addison-Wesley, 
KW  - Industrial Safety Data Processing
KW  - System Safety
N1  - YY
UR  - https://eaklibrary.neduet.edu.pk:8443/catalog/bk/books/toc/0-201-42787-7.pdf
ER  -