Fig. 17From: A systematic process for obtaining the behavior of context-sensitive systemsOptional tasks patternBack to article page