Salazar Osorio, H. G.; Rengifo Romero, H. J.; Machuca Villegas, L. E.; Aranda Bueno, J. A. Una guía General Para La especificación Y verificación Formal De Requerimientos Usando Event-B™ Y Rodin™. rev.digit.educ.ing 2012, 7, 82-91.