@inproceedings{MB08,
title = { Approximating Continuous Systems by Timed Automata },
author = {Maler, Oded and Batt, Gr\'egory},
year = {2008},
booktitle = {FMSB},
pages = {77-89},
team = {TEMPO},
bibsource = {DBLP, http://dblp.uni-trier.de},
}