selected publications conference paper Verification and validation framework for 5G network services and apps. . 2017 T-NOVA: A marketplace for virtualized network functions. . 2014