Sogokon, A. ., Jackson, P. B., & Johnson, T. T. (2017). Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants. In NASA Formal Methods - 9th International Symposium (Vol. 10227, pp. 194–211). Moffett Field, CA, USA: Springer. (Original work published May 2017)

Sogokon, A. ., Ghorbal, K. ., & Johnson, T. T. (2016). Decoupling Abstractions of Non-linear Ordinary Differential Equations. In FM 2016, 21st International Symposium on Formal Methods (Vol. 9995 Lecture Notes in Computer Science, pp. 628–644). Limassol, Cyprus: Springer. (Original work published November 2016)

Hartsell, C. ., Mahadevan, N. ., Ramakrishna, S. ., Dubey, A. ., Bapty, T. ., Johnson, T. T., … Karsai, G. . (2019). Model-Based Design for CPS with Learning-Enabled Components. In Design Automation for CPS and IoT (DESTION 2019). Montreal, Canada. (Original work published 2019)