Alechina, Natasha, Demri, Stéphane, Logan, Brian, "Parameterised Resource-Bounded ATL", , 2020