"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