Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems.
['Jan-Erik Strömberg', 'Simin Nadjm-Tehrani', 'Jan Top']
Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems.