High Level Model Integration for Design of Mechatronic Systems | IEEE Conference Publication | IEEE Xplore