Combining Techniques to Verify Service-based Components In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development MODELSWARD - Volume 1, 645-656, 2017 , Porto, Portugal