Specification and Analysis of Concurrent Systems in a Complete Visual Environment. - Marita Dücker; Georg Lehrenfeld; Wolfgang Müller 003; Christoph Tahedi (ESM, 1996)