@misc{indiciaefb941fd3d7bc,
  title = {MESA: Scalable Runtime Verification Tool Using Actors},
  author = {Nastaran Shafiei and Klaus Havelund and Peter Mehlitz},
  url = {https://ntrs.nasa.gov/citations/20205003373},
  note = {Source identifier: 20205003373}
}