Borislav Gajanovic, Hans Grönniger, Bernhard Rumpe: Model Driven Testing of Time Sensitive Distributed Systems. CoRR abs/1409.6617 (2014)