The need for automated formula manipulation in object-oriented continuous-system modeling | IEEE Conference Publication | IEEE Xplore