Interaktive Methoden zur rechnergestützten Synthese asynchroner Kommunikationsschaltungen mittels einer objektorientierten EntwurfsumgebungPrévenez-moi