@misc{indiciae390f20cbf0aa,
  title = {Automated specification-based test case generation using SCR},
  author = {Nikora, A. P. and Heitmeyer, C. L.},
  year = {2003},
  url = {https://ntrs.nasa.gov/citations/20060046179},
  note = {Source identifier: 20060046179}
}