TY  - RPRT
TI  - Experience report: Using formal methods for requirements analysis of critical spacecraft software
AU  - Lutz, Robyn R.
AU  - Ampo, Yoko
PY  - 1994
UR  - https://ntrs.nasa.gov/citations/19950024826
ID  - 19950024826
ER  -