Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata by Salomon Sickert Sep 04