@inproceedings{FJK08,
title = {A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata },
author = {Frehse, Goran and Jha, Sumit Kumar and Krogh, Bruce H.},
year = {2008},
booktitle = {HSCC},
publisher = {Springer},
series = {LNCS},
team = {TEMPO},
}
