@misc{indiciaeb19a76501b24,
  title = {Automated reasoning technologies will enable a correct-by-construction approach to systems engineering},
  author = {Mahmood, Raheel},
  year = {2023},
  doi = {10.2172/2430841},
  url = {https://www.osti.gov/biblio/2430841},
  note = {Source identifier: 2430841}
}