Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea  Efficient Syntax-Driven Lumping of Differential Equations.   In:  Tools and Algorithms for the Construction and Analysis of Systems. 22nd International Conference, TACAS 2016.   Lecture Notes in Computer Science  (9636).  Springer, pp. 93-111.  ISBN 978-3-662-49673-2      (2016)