@article {peuster2019introducing,
	title = {Introducing automated verification and validation for virtualized network functions and services},
	journal = {IEEE Communications Magazine},
	volume = {57},
	number = {5},
	year = {2019},
	pages = {96{\textendash}102},
	publisher = {IEEE},
	author = {Manuel Peuster and Stefan Schneider and Mengxuan Zhao and George Xilouris and Trakadas, Panagiotis and Felipe Vicens and Wouter Tavernier and Thomas Soenen and Ricard Vilalta and George Andreou and others}
}
