A model-based design methodology for the development of mechatronic systems