Verifying goal-oriented specifications used in model-driven development processes | Publicación