Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings - Braberman, Víctor; Fribourg, Laurent (Springer Berlin Heidelberg : Imprint: Springer, 2013)