TY  - RPRT
TI  - How Safe Is Control Software
AU  - Dunn, William R.
AU  - Corliss, Lloyd D.
PY  - 1991
UR  - https://ntrs.nasa.gov/citations/19910000292
ID  - 19910000292
ER  -