@misc{indiciae98c3c43f81fe,
  title = {Formal Methods for Verification and Validation of Partial Specifications: A Case Study},
  author = {Easterbrook, Steve and Callahan, John},
  year = {1997},
  url = {https://ntrs.nasa.gov/citations/19980017028},
  note = {Source identifier: 19980017028}
}