@misc{indiciae045c084c10c5,
  title = {Analyzing Mode Confusion via Model Checking},
  author = {Luettgen, Gerald and Carreno, Victor},
  year = {1999},
  url = {https://ntrs.nasa.gov/citations/19990063915},
  note = {Source identifier: 19990063915}
}