"The sweep-line state space exploration method."

Kurt Jensen, Lars Michael Kristensen, Thomas Mailund (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics