Statechart Region0 Region0 RefName [2,3] [0,1]