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)