@inproceedings{HLR21,
author = {Benjamin Hertz and Zachary Luppen and Kristin Yvonne Rozier},
title = {Integrating Runtime Verification into a Sounding Rocket Control System},
booktitle = {Proceedings of the 13th NASA Formal Methods Symposium {(NFM 2021)}},
pages="151--159",
isbn="978-3-030-76384-8",
doi = {10.1007/978-3-030-76384-8_10},
month = {May},
year = {2021},
}