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