@misc{indiciaeaeef1260c25f,
  title = {Using SPIN model checking for flight software verification},
  author = {Gluck, P. R. and Holzmann, G. J.},
  year = {2002},
  url = {https://ntrs.nasa.gov/citations/20060032122},
  note = {Source identifier: 20060032122}
}