Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen : formale Basis und Beiträge zur Theorie - Wedig, Arnim (Verfasser) (Universität Dortmund, 2004)