@misc{indiciae89a324c439db,
  title = {MESA: Message-Based System Analysis Using Runtime Verification},
  author = {Shafiei, Nastaran and Tkachuk, Oksana and Mehlitz, Peter},
  year = {2017},
  url = {https://ntrs.nasa.gov/citations/20170010673},
  note = {Source identifier: 20170010673}
}