Keijo Heljanko Tommi A. Junttila Misa Keinänen Martin Lange Timo Latvala Bounded Model Checking for Weak Alternating Büchi Automata. 95-108 2006 conf/cav/2006 CAV http://dx.doi.org/10.1007/11817963_12 db/conf/cav/cav2006.html#HeljankoJKLL06