SMS dit: Engineering multi-agent systems :