Software-physical synergetic design methodology of mechatronic systems based on formal functional models