CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations