Research Article

Improving Model Checking with Context Modelling

Figure 11

CDL model transformation with OBP.
547157.fig.0011