Byron Cook, Heidy Khlaaf, Nir Piterman: On Automation of CTL* Verification for Infinite-State Systems. CAV (1) 2015: 13-29