mODa 11 - Advances in Model-Oriented Design and Analysis - Kunert, Joachim; Müller, Christine H.; Atkinson, Anthony C.; Atkinson, Anthony C.; Müller, Christine H. (Cham Springer International Publishing, 2016)