Model-aware Simulation of IEC 61499 Designs. - Sven Mehlhop; Jörg Walter 001 (ETFA, 2022)

Close Enough? Criteria for Sufficient Simulations of IEC 61499 Models. - Bianca Wiesmayr; Sven Mehlhop; Alois Zoitl (CASE, 2023)

Analyzing Fault Behaviors in Multi-Domain Systems with Contract-Based Monitors. - Friederike Bruns; Andreas Rauh; Francesco Tosoni 002; Franco Fummi; Sven Mehlhop; Frank Oppenheimer (ETFA, 2024)

Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems. - Friederike Bruns; Sven Mehlhop; Bianca Wiesmayr; Alois Zoitl (ICIT, 2024)