Formal analysis of empirical traces in incident management

Mark Hoogendoorn, Catholijn M. Jonker, Peter-Paul van Maanen, Alexei Sharpanskykh. Formal analysis of empirical traces in incident management. Rel. Eng. & Sys. Safety, 93(10):1422-1433, 2008. [doi]

Abstract

Abstract is missing.