@misc{indiciae18af18cf5f1a,
  title = {Real-Time Embedded Software Verification and Validation 2001},
  author = {Lee, Yann-Hang},
  year = {2002},
  url = {https://ntrs.nasa.gov/citations/20040027585},
  note = {Source identifier: 20040027585}
}