"A Compositional and Unified Translation of LTL into ω-Automata."

Benedikt Seidl, Salomon Sickert (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics