This object requires Adobe Flash Player
Building Dependable Systems
Identifying Safety and Security-Critical System Behavior in the Presence of Component Faults