Compositional model checking of an SDN platform. - Abdul Majith; Ocan Sankur; Hervé Marchand; Dinh Thai Bui (DRCN, 2021)