@conference{brs12,
author = "Gyrd Br{\ae}ndeland and Atle Refsdal and Ketil St{\o}len",
booktitle = "Formal Aspects of Component Software",
note = "Partners: SINTEF; Projects: COMA, DIGIT, NESSoS; No tier; Citations: 2",
pages = "12-41",
publisher = "Springer",
series = "LNCS",
title = "{A} {D}enotational {M}odel for {C}omponent-{B}ased {R}isk {A}nalysis",
volume = "7253",
year = "2012",
}