A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems. - Davide Pezzuti; Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (CDC, 2013)

Critical observability of networks of Finite State Machines. - Davide Pezzuti; Sina Lessanibahri; Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (ECC, 2015)

Design of decentralized critical observers for networks of finite state machines: A formal method approach. - Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto; Davide Pezzuti (Autom., 2017)