TY - RPRT TI - Model Driven Testing of Time Sensitive Distributed Systems AU - Borislav Gajanovic AU - Hans Grönninger AU - Bernhard Rumpe PY - 2014 UR - https://arxiv.org/abs/1409.6617 ID - 1409.6617 ER -