In the present work, techniques for the symbolic manipulation of general nonlinear differential algebraic equation (DAE) systems are presented, and used for model simplification purposes, to support efficient simulation of large scale continuous systems in an object-oriented modelling...