Symbolic Formulation of Multibody Dynamic Equations for Wheeled Vehicle Systems on 3D Roads