De Alfaro, Luca, and Thomas A. Henzinger. “Concurrent Omega-Regular Games.”10.1109/LICS.2000.855763__Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2000, pp. 141–54, doi:10.1109/LICS.2000.855763.