Salazar Osorio, Holmes Giovanny, Harvin Jessid Rengifo Romero, Liliana Esther Machuca Villegas, y Jesús Alexander Aranda Bueno. «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, no. 14 (diciembre 15, 2012): 82–91. Accedido abril 26, 2024. https://educacioneningenieria.org/index.php/edi/article/view/230.