Stefan Edelkamp Shahid Jabbar Large-Scale Directed Model Checking LTL. 1-18 2006 conf/spin/2006 SPIN http://dx.doi.org/10.1007/11691617_1 db/conf/spin/spin2006.html#EdelkampJ06