Eduard Cerny Ashvin Dsouza Kevin Harer Pei-Hsin Ho Hi-Keung Tony Ma Supporting sequential assumptions in hybrid verification. 1035-1038 2005 conf/aspdac/2005 ASP-DAC http://doi.acm.org/10.1145/1120725.1120818 db/conf/aspdac/aspdac2005.html#CernyDHHM05