Safety analysis of marine nuclear reactor in severe accident with dynamic fault trees based on cut sequence method · Study