Betancourt, Joan, Jesús Aranda, y James Ortiz. «Aplicando Paralelismo a Un Algoritmo De bisimulación Para Mejorar La Eficiencia De Pruebas De Software De Sistemas De Tiempo crítico». Ingeniería y Competitividad 25, no. Suplemento (septiembre 8, 2023): e–20713144. Accedido abril 4, 2025. https://revistaingenieria.univalle.edu.co/index.php/ingenieria_y_competitividad/article/view/13144.