Selim Ciraci, Jason C. Fuller, Jeff A. Daily, Atefe Makhmalbaf, David Callahan. A Runtime Verification Framework for Control System Simulation. In IEEE 38th Annual Computer Software and Applications Conference, COMPSAC 2014, Vasteras, Sweden, July 21-25, 2014. pages 75-84, IEEE, 2014. [doi]
Abstract is missing.