Galimullin, Rustam, Alechina, Natasha, van Ditmarsch, Hans, "Model checking for Coalition Announcement Logic", , 2018