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