Formal modeling and analysis of timed systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 ; proceedings (Springer, 2010)