Fig. 12From: A systematic process for obtaining the behavior of context-sensitive systemsActivities of Statechart derivation and refinement activityBack to article page