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, 2010. [PUMA: Multibody Researchsoftware diss]