Specification patterns from research to industry: A case study in service-based applications | IEEE Conference Publication | IEEE Xplore