Specification and automated design-time analysis of the business process human resource perspective | Publicación