M. Mohagheghi and K. Salehi, “Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking”, csci, vol. 26, no. 2, Jul. 2025, doi: 10.7494/csci.2025.26.2.6411.