Offshore safety case approach and formal safety assessment of ships · Study