Tolo, Silvia, Andrews, John, "A Nested Petri Net Fault Tree Approach For System Dependency Modelling", ,