Worst-Case Blocking Scenarios for Distributed Real-Time Programs. - Horst F. Wedde; Arnim Wedig (RTS, 1996)

Modellierung Verteilter Systeme mit I-Systemen - Ein Beispiel. - Arnim Wedig (FBT, 2000)

Explicit Modeling of Influences, and of Their Absence, in Distributed Systems. - Horst F. Wedde; Arnim Wedig (TACAS, 2002)

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

Incremental Modeling Under Large-Scale Distributed Interaction. - Horst F. Wedde; Arnim Wedig; Anca M. Lazarescu; Ralf Paaschen; Elisei Rotaru (FORTE, 2005)

Concurrency in Distributed Systems under Autonomous and Enforced Actions. - Arnim Wedig; Horst F. Wedde; Anca M. Lazarescu; Elisei Rotaru (ACSD, 2006)