... of cells is then generated, as shown in Fig. 3( c ) . On the basis of the set of cells, we employ the Algorithm 2 to compute the transition relationships of the high-level model abstraction. The transition from Fig. 3( c ) to Fig. 3( d ) allows for the interpretation of transition relationships...