Abstract: Component-based system simulation models are used throughout all development phases for design and verification of both physical systems and control software, not least in the aeronautical industry. However, the application ...