J. Betancourt, J. Aranda, and J. Ortiz, “Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems”, inycomp, vol. 25, no. Suplemento, p. e–20713144, Sep. 2023.