Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings - Uli Fahrenberg, Stavros Tripakis ((Lecture Notes in Computer Science))