W. Kastner: "Verifikation von Netzwerkprotokollen"; Talk: Echtzeit und iNet, Wiesbaden, Germany; 1997-09-09 - 1997-09-11; in: "Kongreßband Echtzeit'97 und industrielle Netzwerktechnik'97", (1997), 290 - 296.