Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings - Sankaranarayanan, Sriram; Vicario, Enrico (Springer International Publishing : Imprint: Springer, 2015)