An integral software process formal model based on the SOCCA approach | Publicación