Chenyi Zhang, Jun Pang: An Algorithm for Probabilistic Alternating Simulation. SOFSEM 2012: 431-442