T. Kurz, P. Eberhard, C. Henninger, and W. Schiehlen. From Neweul to Neweul-M2: symbolical equations of motion for multibody system analysis and synthesis. Multibody System Dynamics, (24)1:25--41, Jun 1, 2010. [PUMA: software engineering litQSaFE] URL