GitHub repository: szkupienpeti/gamma
Description: The Gamma Statechart Composition Framework