Entwurf und Implementierung eines rechnergestützten Werkzeugs zur automatischen Synthese fehlerbehebender Kommunikationsprotokolle | lit.salon