mODa 10 – Advances in Model-Oriented Design and Analysis - Ucinski, Dariusz (Springer International Publishing, 2013)