TY  - RPRT
TI  - Model-checking for validation of a fault protection system
AU  - Feather, M.
AU  - Fickas, S.
AU  - Razermera-Mamy, N.
PY  - 2001
UR  - https://ntrs.nasa.gov/citations/20060039827
ID  - 20060039827
ER  -