mODa 9 – Advances in Model-Oriented Design and Analysis - Alessandra Giovagnoli; Atkinson, Anthony C.; May, Caterina; Torsney, Bernard (Physica-Verlag HD, 2010)