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)