Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata.

Pauline Blohm, Paula Herber, Anne Remke

Browse the full IFM paper archive.