A framework for user-friendly verification-oriented VNF modeling Guido Marchetto, Riccardo Sisto, Matteo Virgilio, Jalolliddin Yusupov (2017) A framework for user-friendly verification-oriented VNF modeling, In: IEEE Computer Software and Applications Conference (COMPSAC), pp. 517-522, ISBN: 978-1-5386-0367-3