@incollection{Fre09,
title = {Tools for the verification of linear hybrid automata models },
author = {Frehse, Goran},
year = {2009},
booktitle = {Handbook of Hybrid Systems Control, Theory -- Tools -- Applications},
note = {to appear},
publisher = {Cambridge University Press},
team = {TEMPO},
}