State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems.

Bernhard Kaiser, Catharina Gramlich

Browse the full SAFECOMP paper archive.