@misc{indiciae5cae5b3aec10,
  title = {Achieving Runtime State Verification Assurance in Critical Cyber-Physical Infrastructures},
  author = {Rivera, Abel Gomez and Tosh, Deepak K. and Shetty, Sachin},
  year = {2021},
  doi = {10.1109/smartgridcomm51999.2021.9632340},
  url = {https://www.osti.gov/biblio/2502103},
  note = {Source identifier: 2502103}
}