TY  - RPRT
TI  - A Runtime Verification Framework for Control System Simulation
AU  - Ciraci, Selim
AU  - Fuller, Jason C.
AU  - Daily, Jeffrey A.
AU  - Makhmalbaf, Atefe
AU  - Callahan, Charles D.
PY  - 2014
UR  - https://www.osti.gov/biblio/1158494
ID  - 1158494
ER  -