A models@runtime framework for designing and managing Service-Based Applications | IEEE Conference Publication | IEEE Xplore