A Runtime Verification Framework for Control System Simulation | IEEE Conference Publication | IEEE Xplore