A VNF modeling approach for verification purposes - Guido Marchetto (2019)