Tools for the development of a design methodology for mechatronic systems | IEEE Conference Publication | IEEE Xplore