TY  - RPRT
TI  - Formal verification of human-automation interaction
AU  - Degani, Asaf
AU  - Heymann, Michael
PY  - 2002
UR  - https://ntrs.nasa.gov/citations/20040088229
ID  - 20040088229
ER  -