Synthesis of Optimal Strategies Using HyTech