"On Automation of CTL* Verification for Infinite-State Systems."

Byron Cook, Heidy Khlaaf, Nir Piterman (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics