Nguyen, Hoang Nga, Alechina, Natasha, Logan, Brian, Rakib, Abdur, "Alternating-time temporal logic with resource bounds", Journal of Logic and Computation, 2018