1. Baier, C. and Kwiatkowska, M. (1998). Model checking for a probabilistic branching time logic with fairness. Distributed Computing, 11(3): 125–155.
2. Bianco, A. and De Alfaro, L. (1995). Model checking of probabilistic and non-deterministic systems. In Proc. FST & TCS, LNCS 1026, pages 499–513.
3. Bouyer, P., D’Souza, D., Madhusudan, P., and Petit, A. (2003). Timed control with partial observability. In Proc. CAV LNCS 2725, pages 180–192.
4. Chatterjee, K., Jurdzinski, M., and Henzinger, T. (2003). Simple stochastic parity games. In Proc. CSL LNCS 2803, pages 100–113.
5. Chatterjee, K., Jurdzinski, M., and Henzinger, T. (2004). Quantitative simple stochastic parity games. In Proceedings of the Annual Symposium on Discrete Algorithms (SODA). SIAM.