@misc{indiciae9b82f9d614dd,
  title = {Analyzing Tabular and State-Transition Requirements Specifications in PVS},
  author = {Owre, Sam and Rushby, John and Shankar, Natarajan},
  year = {1997},
  url = {https://ntrs.nasa.gov/citations/19970036319},
  note = {Source identifier: 19970036319}
}