Metodología y Herramienta de Soporte para validar Modelos Conceptuales a Través de Máquinas Abstractas | Publicación