mODa 10 – Advances in Model-Oriented Design and Analysis Proceedings of the 10th International Workshop in Model-Oriented Design and Analysis Held in Łagów Lubuski, Poland, June 10–14, 2013 - Ucinski, Dariusz; Atkinson, Anthony C.; Patan, Maciej (Springer International Publishing : Imprint: Springer, 2013)