Leveraging Integrated Tools for Model-Based Analysis of Service Compositions | IEEE Conference Publication | IEEE Xplore