Symbolic construction of models for multibody dynamics | IEEE Journals & Magazine | IEEE Xplore