1. Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, ch. 16, vol. B, pp. 995–1072. Elsevier Science, Amsterdam (1990)
2. Gabbay, D., Pnueli, A., Shelah, S., Stavi, J.: On the temporal analysis of fairness. In: Proc. of PoPL 1980, Las Vegas, pp. 163–173 (November 1980)
3. Lecture Notes in Computer Science;P. Gastin,2001
4. Gastin, P., Oddoux, D.: LTL with past and two-way very-weak alternating automata. Tech. Rep. LIAFA 2003–010, Université Paris 7 (France)
5. Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: Protocol Specification Testing and Verification, Warsaw, Poland, pp. 3–18. Chapman & Hall, Boca Raton (1995)