TY  - RPRT
TI  - Achieving Runtime State Verification Assurance in Critical Cyber-Physical Infrastructures
AU  - Rivera, Abel Gomez
AU  - Tosh, Deepak K.
AU  - Shetty, Sachin
PY  - 2021
DO  - 10.1109/smartgridcomm51999.2021.9632340
UR  - https://www.osti.gov/biblio/2502103
ID  - 2502103
ER  -