Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems.

Michael Roth, Peter Liggesmeyer

Browse the full SAFECOMP paper archive.