Salazar Osorio, H. G. (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), pp. 82–91. doi: 10.26507/rei.v7n14.230.