TY  - RPRT
TI  - Analyzing Software Specifications for Mode Confusion Potential
AU  - Nancy G. Leveson
AU  - L. Denise Pinnel
AU  - Sean David Sandys
AU  - Shuichi Koga
AU  - Jon Damon Reese
PY  - 1998
UR  - https://ntrs.nasa.gov/citations/19990063822
ID  - 19990063822
ER  -