Real-time and multi-agent systems - Ammar Attoui (Springer, London, 2000)