Real-time and multi-agent systems - Attoui, Ammar (Practitioner series, 2000)