TY  - RPRT
TI  - Designing Secure and Resilient Cyber-Physical Systems Using Formal Models
AU  - Lois II, Robert s
AU  - Cole, Daniel G.
PY  - 2022
UR  - https://www.osti.gov/biblio/1891782
ID  - 1891782
ER  -