Byron Cook, Eric Koskinen, Moshe Y. Vardi: Temporal property verification as a program analysis task - Extended Version. Formal Methods Syst. Des. 41(1): 66-82 (2012)