@misc{indiciae2d3393b7a4f1,
  title = {Software development for safety-critical medical applications},
  author = {Knight, John C.},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/19950007757},
  note = {Source identifier: 19950007757}
}