Analisi temporale in un simulatore funzionale