Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques Publication Type: Journal Article Authors: Maciej Koutny; Brian Randell Source: Fundamenta Informaticae, Volume 97, Issue 1-2, p.41-91 (2009)