@misc{indiciaeda16bd2d942f,
  title = {Using formal specification in the Guidance and Control Software (GCS) experiment. Formal design and verification technology for life critical systems},
  author = {Weber, Doug and Jamsek, Damir},
  year = {1994},
  url = {https://ntrs.nasa.gov/citations/19940023764},
  note = {Source identifier: 19940023764}
}