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,)