Engineering Multi-Agent Systems - Baldoni; Baresi, Luciano; Dastani, Mehdi (Springer International Publishing, 2015)