@inbook{53eae52aeee14143b4608bd5850b2535,
title = "Tools for the Analysis of Hybrid Models",
keywords = "Hybrid automata, Hybrid model analysis tools, Hybridization techniques, Piecewise affine hybrid, Reachability, Reachability computations",
author = "Thao Dang and Goran Frehse and Antoine Girard and Guernic, \{Colas Le\}",
year = "2010",
month = jan,
day = "1",
doi = "10.1002/9781118558188.ch7",
language = "English",
isbn = "9781848211438",
pages = "227--251",
booktitle = "Communicating Embedded Systems",
publisher = "wiley",
}