Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings - Fahrenberg, Uli; Tripakis, Stavros (Springer Berlin Heidelberg : Imprint: Springer, 2011)