Structured occurence nets : a formalisation for aiding system failure prevention and analysis techniques /
Koutny, Maciej,1958-
Randell, B.(Brian),1936-
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2008.
"September 2008."