Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow
['Sebastian Schlesinger', 'Paula Herber', 'Thomas Göthel', 'Sabine Glesner']
Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow