A Semantic Driven Approach for Requirements Verification | Publicación