TY  - RPRT
TI  - A Typing Discipline for High-Assurance Control Systems
AU  - Taylor, Max
PY  - 2024
UR  - https://www.osti.gov/biblio/3021464
ID  - 3021464
ER  -