Symbolic derivation of open-loop dynamic models of multibody mechatronic systems for control purpose. A case study: The LISA Technology Package.