J. Betancourt, J. Ortiz, y J. Aranda, «Aplicando paralelismo a un algoritmo de bisimulación para mejorar la eficiencia de pruebas de software de sistemas de tiempo crítico», inycomp, vol. 25, n.º Suplemento, p. e–20713144, nov. 2023.