mODa 9 – Advances in Model-Oriented Design and Analysis Proceedings of the 9th International Workshop in Model-Oriented Design and Analysis held in Bertinoro, Italy, June 14-18, 2010 - Giovagnoli, Alessandra; Atkinson, Anthony C.; Torsney, Bernard; May, Caterina (Physica-Verlag HD, 2010)