@misc{indiciae5a5c8ad27244,
  title = {Actor-based Runtime Verification with MESA},
  author = {Nastaran Shafiei and Klaus Havelund and Peter Mehlitz},
  url = {https://ntrs.nasa.gov/citations/20205006800},
  note = {Source identifier: 20205006800}
}