Quantitative Robustness Analysis of Flat Timed Automata. - Rémi Jaubert; Pierre-Alain Reynier (FoSSaCS, 2011)