@misc{indiciaee3c54fd8e7ae,
  title = {Lfm2000: Fifth NASA Langley Formal Methods Workshop},
  author = {Holloway, C. Michael},
  year = {2000},
  url = {https://ntrs.nasa.gov/citations/20000055716},
  note = {Source identifier: 20000055716}
}