Tomasz Mistrzyk, Gerd Szwillus: Modellierung und Analyse von Kommunikation in sicherheitskritischen Systemen basierend auf erweiterten Aufgabenmodellen. MuC (Workshopband) 2008: 139-141