Formal modeling and verification of a service composition approach in the social customer relationship management system | Publicación