Sviluppo e validazione di metodi e strumenti per le analisi di sicurezza: Modellistica e codici per l’analisi di incidenti severi