with Alechina, N. , Logan, B. , Rakib, A. , 2009, 'Verifying time, memory and communication bounds in systems of reasoning agents', Synthese 169 (2), 385-403.