Patricia Bouyer Franck Cassez Emmanuel Fleury Kim Guldstrand Larsen Synthesis of Optimal Strategies Using HyTech. 11-31 2005 119 Electr. Notes Theor. Comput. Sci. 1 http://dx.doi.org/10.1016/j.entcs.2004.07.006 db/journals/entcs/entcs119.html#BouyerCFL05