Thomas: MeTHods, Techniques and Tools for Open Multi-Agent Systems