Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. - Adrianna Alexander; Wolfgang Reisig (ACSD, 2003)

Composition of Temporal Logic Specifications. - Adrianna Alexander (ICATPN, 2004)

Compositional Temporal Logic Based on Partial Order. - Adrianna Alexander; Wolfgang Reisig (TIME, 2004)

Komposition temporallogischer Spezifikationen: Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions. - Adrianna Alexander (2006)