Peuster M, Schneider S, Zhao M, Xilouris G, Trakadas P, Vicens F, Tavernier W, Soenen T, Vilalta R, Andreou G, et al. Introducing automated verification and validation for virtualized network functions and services. IEEE Communications Magazine. 2019;57:96?102.