mODa 10 – Advances in Model-Oriented Design and Analysis [electronic resource] : Proceedings of the 10th International Workshop in Model-Oriented Design and Analysis Held in Łagów Lubuski, Poland, June 10–14, 2013 / edited by Dariusz Ucinski, Anthony C. Atkinson, Maciej Patan.