Betancourt, J.; Aranda, J.; Ortiz, J. Applying Parallelism to a Bisimulation Algorithm to Improve Efficiency in Software Testing of Time-Critical Systems. inycomp 2023, 25, e-20713144.