Fig. 2From: A systematic process for obtaining the behavior of context-sensitive systemsThe GO2S process for deriving the behavior of context-sensitive systemsBack to article page