A Compositional and Unified Translation of LTL into ω-Automata by Benedikt Seidl and Salomon Sickert Apr 16