Controllers into Non-conflicting Distributed Controllers -- Reasoning About Co-Büchi