"Scalable liveness checking via property-preserving transformations."

Jason Baumgartner, Hari Mony (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics