Automated symbolic model reduction for mechatronical systems | IEEE Conference Publication | IEEE Xplore