Formal Modeling and Analysis of Timed Systems : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings - Krishnendu Chatterjee, Thomas A. Henzinger ((Lecture Notes in Computer Science))