TY  - RPRT
TI  - Proving High-Consequence Digital Controls: Specification to Implementation
AU  - Armstrong, Robert Claude
PY  - 2024
DO  - 10.2172/2585097
UR  - https://www.osti.gov/biblio/2585097
ID  - 2585097
ER  -