@misc{indiciaeb8a177b0b2d3,
  title = {Program Monitoring with LTL in EAGLE},
  author = {Barringer, Howard and Goldberg, Allen and Havelund, Klaus and Sen, Koushik},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20050010167},
  note = {Source identifier: 20050010167}
}