Dieses Buch dokumentiert die Erkenntnisse des siebten internationalen Workshops zur Gestaltung, Spezifikation und Verifizierung interaktiver Systeme in Limerick (Juni 2000). Es verbindet theoretische Modelle mit praxisnahen Fallstudien und innovativen Analyseansätzen für komplexe Interaktionssysteme.