Media type: E-Article Title: Lecture Notes in Computer Science: Integrating Runtime Verification into a Sounding Rocket Control System Contributor: Hertz, Benjamin; Luppen, Zachary; Rozier, Kristin Yvonne Published: Springer International Publishing, 2021 Published in: Lecture Notes in Computer Science (2021), Seite 151-159 Language: Not determined DOI: 10.1007/978-3-030-76384-8_10 ISBN: 9783030763848; 9783030763831 ISSN: 0302-9743; 1611-3349 Origination: Footnote: