On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. - David Navarre; Philippe A. Palanque; Eric Barboni; Tomasz Mistrzyk (TAMODIA, 2007)

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

AMBOSS: A Task Modeling Approach for Safety-Critical Systems. - Matthias Giese; Tomasz Mistrzyk; Andreas Pfau; Gerd Szwillus; Michael von Detten (TAMODIA/HCSE, 2008)

Modellierung sicherheitskritischer Kommunikation in Aufgabenmodellen (Modelling Safety-Critical Communication within Task Models). - Tomasz Mistrzyk; Gerd Szwillus (i-com, 2008)

Practical Use of Task Models for Building and Modeling Operations Chart in the Industrial Production. - Tomasz Mistrzyk; Alexander Redenius (HCI (8), 2009)

Detection of Pilot Errors in Data by Combining Task Modeling and Model Checking. - Florian Frische; Tomasz Mistrzyk; Andreas Lüdtke (INTERACT (1), 2009)

Methodik zur Dokumentation und Analyse von Kommunikationsschwachstellen in sicherheitskritischen Systemen anhand von hierarchischen Aufgabenmodellen. - Tomasz Mistrzyk (2010)