A Framework for Verification-Oriented User-Friendly Network Function Modeling Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov (2019) A Framework for Verification-Oriented User-Friendly Network Function Modeling, In: IEEE ACCESS, pp. 99349-99359, ISSN: 2169-3536