@inbook{Behrmann2004,
 address = {Berlin, Heidelberg},
 author = {Gerd Behrmann
and Patricia Bouyer
and Kim G. Larsen
and Peláne Radek},
 booktitle = {Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings},
 doi = {10.1007/978-3-540-24730-2_25},
 editor = {Kurt Jensen
and Andreas Podelski},
 isbn = {978-3-540-24730-2},
 pages = {312--326},
 publisher = {Springer Berlin Heidelberg},
 title = {Lower and Upper Bounds in Zone Based Abstractions of Timed Automata},
 url = {http://dx.doi.org/10.1007/978-3-540-24730-2_25},
 year = {2004}
}