[1]
H. G. Salazar Osorio, H. J. Rengifo Romero, L. E. Machuca Villegas, y J. A. Aranda Bueno, «Una guía general para la especificación y verificación formal de requerimientos usando Event-B™ y Rodin™», rev.digit.educ.ing, vol. 7, n.º 14, pp. 82–91, dic. 2012.