De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. In: 10.1109/SFCS.1998.743507Â  __Proceedings 39th Annual Symposium on Foundations of Computer Science. IEEE; 1998:564-575. doi:10.1109/SFCS.1998.743507Â