Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings - Jurdziński, Marcin; Ničković, Dejan (Springer Berlin Heidelberg : Imprint: Springer, 2012)