Christel Baier Marcus Größer Martin Leucker Benedikt Bollig Frank Ciesinski Controller Synthesis for Probabilistic Systems. 493-506 2004 conf/ifipTCS/2004 IFIP TCS db/conf/ifipTCS/ifipTCS2004.html#BolligC04