Model-Driven Risk Analysis - Lund, Mass Soldal; Solhaug, Bjornar; Stølen, Ketil (Springer Berlin Heidelberg, 2011)