Title: Ein Protokollentwurfs- und spezifikationsverfahren auf Basis einer erweiterten Zustandsdiagrammtechnik in Listenform mit Vorverarbeitung von Ereignissen