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