Metodi e modelli per la simulazione e verifica di un sistema di trasporto aereo: uno stato dell'arte