Engineering Multi-Agent Systems - Baldoni (Springer International Publishing, 2016)