Engineering Multi-Agent Systems - Dennis (Springer International Publishing, 2020)