Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, Rakib, Abdur, "Verifying time, memory and communication bounds in systems of reasoning agents", Synthese, 2009