@misc{indiciae84f559159800,
  title = {Experiences Using Formal Methods for Requirements Modeling},
  author = {Hamilton, David and Ampo, Yoko and Kelly, John and Covington, Rick and Lutz, Robyn and Easterbrook, Steve},
  year = {1996},
  url = {https://ntrs.nasa.gov/citations/20210003844},
  note = {Source identifier: 20210003844}
}