Integrating Runtime Verification into a Sounding Rocket Control System. - Benjamin Hertz; Zachary Luppen; Kristin Yvonne Rozier (NFM, 2021)

Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry. - Zachary Luppen; Michael Jacks; Nathan Baughman; Muhamed Stilic; Ryan Nasers; Benjamin Hertz; James W. Cutler; Dae Young Lee; Kristin Yvonne Rozier (NFM, 2022)

Integrating runtime verification into an automated UAS traffic management system. - Abigail Hammer; Matthew Cauwels; Benjamin Hertz; Phillip H. Jones; Kristin Y. Rozier (Innov. Syst. Softw. Eng., 2022)