Synergy: A new algorithm for property checking
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, 2006, pp. 117–127.