CERVANTES: A Model-Based Approach for Service-Oriented Systems Development. - Laura García-Borgoñón; Miguel A. Barcelona; J. I. Calvo; Isabel M. Ramos; María José Escalona (ISD, 2014)