\begin{figure}[!h]
\label{design_1}
\begin{center}

\begin{psmatrix}[rowsep=0.5,colsep=1.5]
[name=Artefa] \psbox{4cm}{Analysis Target}       & [name=TTCN3-S] \psbox{4cm}{\ttcn{} Source Code}  \\ [0pt]
[name=Repres] \psbox{4cm}{Representation Format} & [name=TTCN3-R] \psbox{4cm}{AST of \ttcn{} Code}  \\ [0pt]
[name=Facade] \psbox{4cm}{Facade Layer}          & [name=Facade2] \psbox{4cm}{\ttcn{} Facade Layer} \\ [0pt]
[name=Plugin] \psbox{4cm}{Analysis Plug-in}      & [name=Plugin2] \psbox{4cm}{Smell Detection}

\ncline{*->}{Artefa}{Repres}
\ncline{o->}{Facade}{Repres}
\ncline{o->}{Plugin}{Facade}

\ncline{*->}{TTCN3-S}{TTCN3-R}
\ncline{o->}{Facade2}{TTCN3-R}
\ncline{o->}{Plugin2}{Facade2}
\end{psmatrix}

\end{center}
\caption[Vertical framework design]{Vertical framework design: abstract on the left side, examplified on the right side}
\end{figure}
