formal modeling and analysis of timed systems: 10th international conference, formats 2012, london, uk, september 18-20, 2012, proceedings

jurdzinski, marcin · springer