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