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