Joachim Klein, Christel Baier: On-the-Fly Stuttering in the Construction of Deterministic <i>omega</i> -Automata. CIAA 2007: 51-61