Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Serena Spinoso, Fulvio Valenza, Jalolliddin Yusupov (9999) Improving the formal verification of reachability policies in virtualized networks, In: IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, ISSN: 1932-4537