"A Sweep-Line Method for Büchi Automata-based Model Checking."

Sami Evangelista, Lars Michael Kristensen (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics