yakindu-merge-py (pypi): Divide and merge statecharts for easy collaboration
Keywords: yakindu|tool|merge