Goran Frehse Sumit Kumar Jha Bruce H. Krogh A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. 187-200 2008 HSCC http://dx.doi.org/10.1007/978-3-540-78929-1_14 conf/hybrid/2008 db/conf/hybrid/hscc2008.html#FrehseJK08