@misc{indiciaeb5c491d8e313,
  title = {Specification Reformulation During Specification Validation},
  author = {Benner, Kevin M.},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/19960047150},
  note = {Source identifier: 19960047150}
}