"Parameter Synthesis for Hybrid Systems with an Application to Simulink Models."

Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics