Christel Baier Tomás Brázdil Marcus Größer Antonín Kucera Stochastic Game Logic. 227-236 2007 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2007.38 conf/qest/2007 db/conf/qest/qest2007.html#BaierBGK07