State/event fault trees - A safety analysis model for software-controlled systems

Bernhard Kaiser, Catharina Gramlich, Marc Förster. State/event fault trees - A safety analysis model for software-controlled systems. Rel. Eng. & Sys. Safety, 92(11):1521-1537, 2007. [doi]

Abstract

Abstract is missing.