Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov, Adlen Ksentini (2021) A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks, In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, pp. 1515-1525, ISSN: 1551-3203