diff --git a/.gitignore b/.gitignore
index 65a8aed..065f589 100644
--- a/.gitignore
+++ b/.gitignore
@@ -30,4 +30,4 @@
 *.vrb
 *.xdy
 *.tdo
-*.pdf
+Report/*.pdf
diff --git a/Report/GDN.tex b/Report/GDN.tex
index 4127fe6..61210cd 100644
--- a/Report/GDN.tex
+++ b/Report/GDN.tex
@@ -13,8 +13,13 @@
 \begin{document}
 \maketitle
 
+\section*{Abstract}
+
 \section*{Introduction}
 
+\section{Modeling the TCP handshake}
+
+\section{Model checking and verification}
 
 \section*{Conclusions}
 
diff --git a/Resources/Zeroconf - Paper.pdf b/Resources/Zeroconf - Paper.pdf
new file mode 100644
index 0000000..3143bf4
Binary files /dev/null and b/Resources/Zeroconf - Paper.pdf differ