Introducing Automated Verification and Validation for Virtualized Network Functions and Services - Peuster, Manuel (2019)