mODa 10 – Advances in Model-Oriented Design and Analysis - Ucinski, Dariusz; Atkinson, Anthony C.; Patan, Maciej; Patan, Maciej (Springer International Publishing, 2013)