@misc{indiciaec5a68c0f5177,
  title = {Developing safety-critical software.},
  author = {J Garnsworthy},
  year = {1996},
  url = {https://pubmed.ncbi.nlm.nih.gov/10163372/},
  note = {Source identifier: 10163372}
}