Modellistica di generatori sincroni per l’analisi di guasti interni