Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings - Marcin Jurdzi.ski, Dejan Ni.kovi ((Lecture Notes in Computer Science))