selected publications chapter Requirements and Tools for the Debugging of Multi-Agent Systems. Springer eBooks. 238-247. 2009