Koutny, Maciej, and Brian Randell. "Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques." Fundamenta Informaticae 97, no. 1-2 (2009): 41-91.