Salazar Osorio, Holmes Giovanny, Harvin Jessid Rengifo Romero, Liliana Esther Machuca Villegas, y Jesús Alexander Aranda Bueno. 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.