Tools for the development of a design methodology for mechatronic systems