Betancourt, J., J. Aranda, and J. Ortiz. “Applying Parallelism to a Bisimulation Algorithm to Improve Efficiency in Software Testing of Time-Critical Systems”. Ingeniería Y Competitividad, vol. 25, no. Suplemento, Sept. 2023, p. e-20713144, doi:10.25100/iyc.v25iSuplemento.13144.