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