Taehoon Lee Gihwon Kwon Hyuksoo Han CTL Model Checking for Boolean Program. 1081-1089 2006 conf/iccsa/2006-4 ICCSA (4) http://dx.doi.org/10.1007/11751632_116 db/conf/iccsa/iccsa2006-4.html#LeeKH06