Automated formula manipulation supports object-oriented continuous-system modeling | IEEE Journals & Magazine | IEEE Xplore