Abdul Majith, Ocan Sankur, Hervé Marchand, Dinh Thai Bui: Compositional model checking of an SDN platform. DRCN 2021: 1-8