@misc{indiciaeb943e9875f4c,
  title = {RP-check: an architecture for spaceflight command sequence validation},
  author = {Algermissen, Stirling and Biesiadecki, Jeffrey J. and Maxwell, Scott and Maimone, Mark},
  year = {2018},
  url = {https://ntrs.nasa.gov/citations/20210006163},
  note = {Source identifier: 20210006163}
}