"Transition-Based Directed Model Checking."

Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics