Keijo Heljanko Tommi A. Junttila Timo Latvala Incremental and Complete Bounded Model Checking for Full PLTL. 98-111 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_10 db/conf/cav/cav2005.html#HeljankoJL05