@misc{indiciae796d49a156e8,
  title = {The Second NASA Formal Methods Workshop 1992},
  author = {Johnson, Sally C. and Holloway, C. Michael and Butler, Ricky W.},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/19930003769},
  note = {Source identifier: 19930003769}
}