TY  - RPRT
TI  - Trust-but-Verify in Cyber-Physical Systems
AU  - Perumalla, Kalyan
PY  - 2021
DO  - 10.1145/3445969.3450434
UR  - https://www.osti.gov/biblio/1807248
ID  - 1807248
ER  -