@misc{indiciaea10cf0a27a52,
  title = {Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems Volume II: A Practitioner's Companion},
  author = {Kelly, John C.},
  year = {1997},
  url = {https://ntrs.nasa.gov/citations/20060035409},
  note = {Source identifier: 20060035409}
}