Modellierung und Analyse von Kommunikation in sicherheitskritischen Systemen basierend auf erweiterten Aufgabenmodellen.