Alechina, Natasha, Logan, Brian, "Verifying systems of resource-bounded agents", Lecture Notes in Computer Science, 2016