IAEA Workshop on the Application of the IAEA Methodology and Safety Assessment Framework (SAFRAN) Tool for the Safety Case and Safety Assessment for Predisposal.