- Ciraci S, JC Fuller, JA Daily, A Makhmalbaf, and CD Callahan, II. 2014. "A Runtime Verification Framework for Control System Simulation." In IEEE 38th Annual Computer Software and Applications Conference (COMPSAC 2014), July 21-25, 2014, Vasteras, Sweden, pp. 78-84. IEEE, Piscataway, NJ.