Text this: Verifying time, memory and communication bounds in systems of reasoning agents.