1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
2. Bérard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.: Systems and Software Verification. In: Model-Checking Techniques and Tools. Springer, Heidelberg (2001)
3. Lecture Notes in Computer Science;E. Bursztein,2008
4. Lecture Notes in Computer Science;E. Bursztein,2007
5. Lecture Notes in Computer Science;F. Cuppens,2000