Bianculli, D., C. Ghezzi, C. Pautasso, and P. Senti, "Specification patterns from research to industry: A case study in service-based applications", Proc. of the 34th International Conference on Software Engineering (ICSE2012), SeIP track, Zurich, Switzerland, pp. 968-976, June, 2012.