Modellamento dei guasti in un simulatore funzionale