Interaktive Methoden zur rechnergestützten Synthese asynchroner Kommunikationsschaltungen mittels einer objektorientierten EntwurfsumgebungPohlídat