Alessandro Petriccone, Giordano Pola, Maria Domenica Di Benedetto, Elena De Santis. Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation. In Maurice Heemels, Bart De Schutter, editors, 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2012, Eindhoven, The Netherlands, June 6-8, 2012. Volume 45 of IFAC Proceedings Volumes, pages 370-375, Elsevier, 2012. [doi]
Abstract is missing.