Introducing automated verification and validation for virtualized network functions and services - Manuel Peuster; Stefan Schneider; Mengxuan Zhao; George Xilouris; Trakadas, Panagiotis; Felipe Vicens; Wouter Tavernier; Thomas Soenen; Ricard Vilalta; George Andreou; others (IEEE Communications Magazine, 2019)