The following publications are possibly variants of this publication:
- Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulationAlessandro Petriccone, Giordano Pola, Maria Domenica Di Benedetto, Elena De Santis. adhs 2012: 370-375 [doi]
- A complexity reduction approach to the detection of safety critical situations in Air Traffic Management systemsAlessandro Petriccone, Giordano Pola, Maria Domenica Di Benedetto, Elena De Santis. cdc 2010: 2081-2086 [doi]
- Safety Criticality Analysis of Multi-Agent Air Traffic Management Systems: A Compositional Hybrid Systems? ApproachElena De Santis, Maria Domenica Di Benedetto, Giordano Pola. ercim, 2014(97), 2014. [doi]