Formal safety assessment of offshore structures