Coordinating distributed autonomous agents with a real-time database: The CAMBADA project