Concept for a Stepwise Approach for an Automated Verification Process of Balancing Services | IEEE Conference Publication | IEEE Xplore