Wolfgang Thomas: Optimizing Winning Strategies in Regular Infinite Games. SOFSEM 2008: 118-123