Using A Digital Twin for Verification of Automatic Fulfillment Procedures in Telecom Services | IEEE Conference Publication | IEEE Xplore