Mohagheghi, Mohammadsadegh, and Khayyam Salehi. “Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking”. Computer Science 26, no. 2 (July 1, 2025). Accessed December 5, 2025. https://journals.agh.edu.pl/csci/article/view/6411.