TY  - RPRT
TI  - Developing safety-critical software.
AU  - J Garnsworthy
PY  - 1996
UR  - https://pubmed.ncbi.nlm.nih.gov/10163372/
ID  - 10163372
ER  -