@proceedings {143,
	title = {Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings},
	journal = {FORMATS},
	volume = {8053},
	year = {2013},
	publisher = {Springer},
	isbn = {978-3-642-40228-9},
	editor = {V{\'\i}ctor A. Braberman and Laurent Fribourg}
}