Alessandro Cimatti Marco Roveri Piergiorgio Bertoli Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking. 313-327 2001 conf/tacas/2001 TACAS http://dx.doi.org/10.1007/3-540-45319-9_22 db/conf/tacas/tacas2001.html#CimattiRB01