@inproceedings{AJR22,
author = {Alexis Aurandt and Phillip Jones and Kristin Yvonne Rozier},
title = {{Runtime Verification Triggers Real-time, Autonomous Fault Recovery on the CySat-I}},
booktitle = {{Proceedings of the 14th NASA Formal Methods Symposium (NFM 2022)}},
publisher = {Springer, Cham},
series = {Lecture Notes in Computer Science (LNCS)},
volume = {13260},
address = {Caltech, California, USA},
month = {May},
year = {2022},
doi = {\url{https://doi.org/10.1007/978-3-031-06773-0_45}},
isbn = {978-3-031-06772-3},
}