Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier: Satisfiability Checking for Mission-Time LTL. CAV (2) 2019: 3-22