Ein Fachbuch aus dem ersten Eurographics‑Workshop in Bocca di Magra, das die Entwurfs-, Spezifikations- und Verifizierungsprozesse interaktiver Systeme anhand neuer theoretischer Modelle und praxisnaher Fallstudien beleuchtet.