TY  - RPRT
TI  - Formal Aspects of Human-Automation Interaction
AU  - Degani, Asaf
AU  - Heymann, Michael
AU  - Moodi, Michael
AU  - Remington, Roger
PY  - 1998
UR  - https://ntrs.nasa.gov/citations/20020064483
ID  - 20020064483
ER  -