Multi-Agent System with a kodkod-based scheduler