Formal Modeling and Analysis of Timed Systems : 8th International Conference, FORMATS
2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings / edited by Krishnendu
Chatterjee, Thomas A. Henzinger. / Berlin, Heidelberg : Springer Berlin Heidelberg