A complexity reduction approach to the detection of safety critical situations in Air Traffic Management systems. - Alessandro Petriccone; Giordano Pola; Maria Domenica Di Benedetto; Elena De Santis (CDC, 2010)

Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation. - Alessandro Petriccone; Giordano Pola; Maria Domenica Di Benedetto; Elena De Santis (ADHS, 2012)