A tool for the synthesis of discrete controllers for distributed systems