Formal Vulnerability Assessment of a maritime transportation system. - Øyvind Berle; Bjørn Egil Asbjørnslett; James B. Rice (Reliab. Eng. Syst. Saf., 2011)