Salazar Osorio, H.G. et al. 2012. Una guía general para la especificación y verificación formal de requerimientos usando Event-B™ y Rodin™. Revista Educación en Ingeniería. 7, 14 (dic. 2012), 82–91. DOI:https://doi.org/10.26507/rei.v7n14.230.