@misc{indiciae87755e5d5c40,
  title = {Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers},
  author = {Andrey Mokhov and Georgy Lukyanov and Jakob Lechner},
  year = {2018},
  url = {https://arxiv.org/abs/1802.01738},
  note = {Source identifier: 1802.01738}
}