"Owl: A Library for ω-Words, Automata, and LTL."

Jan Kretínský, Tobias Meggendorfer, Salomon Sickert (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics