Introducing Automated Verification and Validation for Virtualized Network Functions and Services. - Manuel Peuster; Stefan Schneider 008; Mengxuan Zhao; George Xilouris; Panagiotis Trakadas; Felipe Vicens; Wouter Tavernier; Thomas Soenen; Ricard Vilalta; George Andreou; Dimosthenis Kyriazis; Holger Karl (IEEE Commun. Mag., 2019)