Kristin Y. Rozier, Moshe Y. Vardi: LTL Satisfiability Checking. SPIN 2007: 149-167