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