TY  - RPRT
TI  - RP-check: an architecture for spaceflight command sequence validation
AU  - Algermissen, Stirling
AU  - Biesiadecki, Jeffrey J.
AU  - Maxwell, Scott
AU  - Maimone, Mark
PY  - 2018
UR  - https://ntrs.nasa.gov/citations/20210006163
ID  - 20210006163
ER  -