Arnim Wedig Modellierung Verteilter Systeme mit I-Systemen - Ein Beispiel. 59-68 2000 conf/fbt/2000 FBT db/conf/fbt/fbt2000.html#Wedig00