W. Kastner: "Spezifikation und Verifikation eines zeitbasierenden Protokolls"; Supervisor, Reviewer: G. Schildt; Institut für Automation, 1996.