Fig. 18From: A systematic process for obtaining the behavior of context-sensitive systemsZero or more executions patternBack to article page