@misc{indiciae1c1987d7d3f8,
  title = {Proving High-Consequence Digital Controls: Specification to Implementation},
  author = {Armstrong, Robert Claude},
  year = {2024},
  doi = {10.2172/2585097},
  url = {https://www.osti.gov/biblio/2585097},
  note = {Source identifier: 2585097}
}