@misc{indiciae0537b9f1031d,
  title = {Jeagle: a JAVA Runtime Verification Tool},
  author = {DAmorim, Marcelo and Havelund, Klaus},
  year = {2005},
  url = {https://ntrs.nasa.gov/citations/20050082002},
  note = {Source identifier: 20050082002}
}