1 \documentclass[titlepage
]{article
}
4 \usepackage[dvipdfm
]{hyperref
}
11 \usepackage{longtable
}
14 \newcommand{\xmark}{\texttt{\textbf{x
}}}
17 \newcommand{\doTCC}{\theTCC \stepcounter{TCC
}}
19 \newcommand{\GAST}{G$
\forall$ST
\xspace}
22 breakatwhitespace=false,
% sets if automatic breaks should only happen at whitespace
23 breaklines=true,
% sets automatic line breaking
24 frame=single,
% adds a frame around the code
33 \title{Model based testing of TCP
}