1. Althoff, M., et al.: ARCH-COMP19 category report: continuous and hybrid systems with linear continuous dynamics. In: ARCH19, pp. 14–40 (2019)
2. Alur, R.: Formal verification of hybrid systems. In: EMSOFT 2011, pp. 273–278. ACM (2011)
3. Armstrong, A., Gomes, V.B.F., Struth, G.: Building program construction and verification tools from algebraic principles. Form. Asp. Comput. 28(2), 265–293 (2015).
https://doi.org/10.1007/s00165-015-0343-1
4. Desharnais, J., Möller, B., Struth, G.: Algebraic notions of termination. Log. Methods Comput. Sci. 7(1) (2011)
5. Divasón, J., Aransay, J.: Gauss-Jordan algorithm and its applications. Archive of Formal Proofs (2014)