1. Alur, R., Courcoubetis, C., Dill, D.: Model-checking for real-time systems. In: Proceedings Fifth Annual IEEE Symposium on Logic in Computer Science, pp. 414–425 (1990)
2. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In: Proceedings of the 38th IEEE Symposium on Foundations of Computer Science (FOCS 1997), pp. 100–109. IEEE Computer Society (1997)
3. Lecture Notes in Computer Science;R Alur,1998
4. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
5. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)