Coordinating Distributed Autonomous Agents with a Real-Time Database: The CAMBADA Project