@misc{indiciae1b2b4fa0a93b,
  title = {Formal verification of human-automation interaction},
  author = {Degani, Asaf and Heymann, Michael},
  year = {2002},
  url = {https://ntrs.nasa.gov/citations/20040088229},
  note = {Source identifier: 20040088229}
}