Sachoun Park Gihwon Kwon Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. 905-911 2006 conf/iccsa/2006-5 ICCSA (5) http://dx.doi.org/10.1007/11751649_99 db/conf/iccsa/iccsa2006-5.html#ParkK06b