Stefan Edelkamp, Shahid Jabbar: Large-Scale Directed Model Checking LTL. SPIN 2006: 1-18