Selim Ciraci Jason C. Fuller Jeff A. Daily Atefe Makhmalbaf David Callahan A Runtime Verification Framework for Control System Simulation. 75-84 2014 COMPSAC https://doi.org/10.1109/COMPSAC.2014.14 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2014.14 conf/compsac/2014 db/conf/compsac/compsac2014.html#CiraciFDMC14