Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes. - Jörg Fischer 002; Stefan Conrad 001 (IFM, 2000)

Kausale Abhängigkeiten als Mittel der Spezifikation von Schnittstellen-Protokollen. - Jörg Fischer 002 (Logos-Verlag, 2001)