Alur, R., Henzinger, T. A., &; Kupferman, O. (1999). Alternating-time temporal logic. In Proceedings of the International Symposium on Compositionality (Vol. 1536, pp. 23–60). Bad Malente, Germany: Springer.https://doi.org/10.1007/3-540-49213-5_2