TY  - RPRT
TI  - Validating Requirements for Fault Tolerant Systems Using Model Checking
AU  - Schneider, Francis
AU  - Easterbrook, Steve M.
AU  - Callahan, John R.
AU  - Holzmann, Gerard J.
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/19980016987
ID  - 19980016987
ER  -