A Transformation-Based Approach to Implication of GSTE Assertion Graphs

Figure 2

Assertion graph to finite-state automaton.