Salazar Osorio, H. G., Rengifo Romero, H. J., Machuca Villegas, L. E., & Aranda Bueno, J. A. (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), 82–91. https://doi.org/10.26507/rei.v7n14.230