Mohagheghi, Mohammadsadegh, and Khayyam Salehi. “Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking”. Computer Science, vol. 26, no. 2, July 2025, https://doi.org/10.7494/csci.2025.26.2.6411.