TY  - RPRT
TI  - Detecting Mode Confusion Through Formal Modeling and Analysis
AU  - Miller, Steven P.
AU  - Potts, James N.
PY  - 1999
UR  - https://ntrs.nasa.gov/citations/19990019552
ID  - 19990019552
ER  -