@misc{indiciae18825c4a2885,
  title = {Dependable software by design.},
  author = {Daniel Jackson},
  year = {2006},
  doi = {10.1038/scientificamerican0606-68},
  url = {https://pubmed.ncbi.nlm.nih.gov/16711362/},
  note = {Source identifier: 16711362}
}