Verification of SAMGs in SBO sequences with Seal LOCA. Multiple damage domains | Publicación