Salazar Osorio, Holmes Giovanny, et al. «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, vol. 7, n.º 14, diciembre de 2012, pp. 82-91, doi:10.26507/rei.v7n14.230.