A framework for user-friendly verification-oriented VNF modeling