TY  - RPRT
TI  - MESA: Message-Based System Analysis Using Runtime Verification
AU  - Shafiei, Nastaran
AU  - Tkachuk, Oksana
AU  - Mehlitz, Peter
PY  - 2017
UR  - https://ntrs.nasa.gov/citations/20170010673
ID  - 20170010673
ER  -