Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees.

Michael Roth, Peter Liggesmeyer

Browse the full SAFECOMP paper archive.