Pérez Acosta, Alain, y Mailyn Moreno Espino. 2016. «Patrón De Requisito Basado En Dependencias De Plan En I* Para Detectar Proactividad En Sistemas informáticos». Revista Cubana De Ingeniería 7 (1):19-26. https://rci.cujae.edu.cu/index.php/rci/article/view/390.