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