Validation of behavior specifications of production systems within different phases of the engineering process
Challenges in the development of Mechatronic systems: The Mechatronic Component