Stephan Kleuker Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen. 175-184 1997 conf/fbt/1997 FBT db/conf/fbt/fbt1997.html#Kleuker97