Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. In: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2017. Lecture Notes in Computer Science (10206). Springer, Berlin, pp. 310-328. ISBN 978-3-662-54580-5 (2017)