diff --git a/3.Integration Test Plan Document/ITPD.lyx b/3.Integration Test Plan Document/ITPD.lyx
index 991c8f0..f39fb65 100644
--- a/3.Integration Test Plan Document/ITPD.lyx	
+++ b/3.Integration Test Plan Document/ITPD.lyx	
@@ -1798,12 +1798,12 @@ In the Sequence Diagrams shown in the Section 2.5 of the Design Document
  can be found a more detailed representation of the components interaction.
 \end_layout
 
-\begin_layout Subsubsection*
+\begin_layout Subsection
 Account Management
 \end_layout
 
 \begin_layout Standard
-Functions implemented by 
+Main functions implemented by the 
 \series bold
 Authentication Manager
 \series default
@@ -1814,20 +1814,6 @@ Authentication Manager
 
 \end_layout
 
-\begin_layout Standard
-
-\family typewriter
-register
-\family default
- : This function creates a new entity 
-\family typewriter
-user
-\family default
- in the system with all the information provided by the user.
- If the entered data are correct, an email is sent to the user address to
- confirm the correct registration to the service.
-\end_layout
-
 \begin_layout Standard
 \align center
 \begin_inset Tabular
@@ -2099,42 +2085,14 @@ The user data are correctly inserted in the database.
 
 \end_layout
 
-\begin_layout Standard
-\begin_inset VSpace smallskip
-\end_inset
-
-
-\begin_inset VSpace smallskip
-\end_inset
-
-
+\begin_layout Subsection
+Car Management
 \end_layout
 
 \begin_layout Standard
-\begin_inset VSpace smallskip
-\end_inset
-
-
-\family typewriter
-login
-\family default
-: This function allows any registered user to log into the system using
- his username and password.
- If the credentials are correct, the function returns a token to be used
- in the future requests to identify the user.
- Otherwise, an error is returned.
-\end_layout
-
-\begin_layout Subsubsection*
-
+Main functions implemented by the 
 \series bold
-AccountInformation Manager
-\end_layout
-
-\begin_layout Standard
-Functions implemented by 
-\series bold
-AccountInformation Manager
+Car Manager
 \series default
 :
 \begin_inset VSpace smallskip
@@ -2144,22 +2102,138 @@ AccountInformation Manager
 \end_layout
 
 \begin_layout Standard
-\begin_inset ERT
-status open
+\align center
+\begin_inset Tabular
+<lyxtabular version="3" rows="2" columns="1">
+<features tabularvalignment="middle" tabularwidth="50page%">
+<column alignment="center" valignment="top" width="0pt">
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
+\begin_inset Text
 
 \begin_layout Plain Layout
 
-
-\backslash
-texttt{edit
-\backslash
-_profile}
+\family typewriter
+register
 \end_layout
 
 \end_inset
+</cell>
+</row>
+<row>
+<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
+\begin_inset Text
 
-: This function allows registered users to edit their profile information.
- 
+\begin_layout Plain Layout
+\begin_inset Tabular
+<lyxtabular version="3" rows="4" columns="2">
+<features tabularvalignment="middle">
+<column alignment="left" valignment="top">
+<column alignment="left" valignment="top" width="44col%">
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\series bold
+Description
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+This is a cool description
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\shape slanted
+Input
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="left" valignment="top" bottomline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\shape slanted
+Effect
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="2pt">
+<cell alignment="left" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A null parameter
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="left" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A NullArgumentException is raised.
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="2pt">
+<cell alignment="left" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A non-null user
+\end_layout
+
+\end_inset
+</cell>
+<cell mroffset="0.5pt" alignment="left" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+The user data are correctly inserted in the database.
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
 \begin_inset VSpace smallskip
 \end_inset
 
@@ -2167,92 +2241,706 @@ _profile}
 \end_layout
 
 \begin_layout Standard
-\begin_inset ERT
-status open
+\align center
+\begin_inset Tabular
+<lyxtabular version="3" rows="2" columns="1">
+<features tabularvalignment="middle" tabularwidth="50page%">
+<column alignment="center" valignment="top" width="0pt">
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
+\begin_inset Text
 
 \begin_layout Plain Layout
 
-
-\backslash
-texttt{enable
-\backslash
-_mso}
+\family typewriter
+register
 \end_layout
 
 \end_inset
+</cell>
+</row>
+<row>
+<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
+\begin_inset Text
 
-: This function allows registered users to enable the money saving option.
-\begin_inset VSpace smallskip
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-\begin_inset ERT
-status open
+\begin_layout Plain Layout
+\begin_inset Tabular
+<lyxtabular version="3" rows="4" columns="2">
+<features tabularvalignment="middle">
+<column alignment="left" valignment="top">
+<column alignment="left" valignment="top" width="44col%">
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
 
 \begin_layout Plain Layout
 
-
-\backslash
-texttt{disable
-\backslash
-_mso}
+\series bold
+Description
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
 
-: This function allows registered users to disable the money saving option.
-\begin_inset VSpace smallskip
-\end_inset
-
-
+\begin_layout Plain Layout
+This is a cool description
 \end_layout
 
-\begin_layout Standard
-\begin_inset ERT
-status open
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
 
 \begin_layout Plain Layout
 
-
-\backslash
-texttt{consult
-\backslash
-_history}
+\shape slanted
+Input
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="left" valignment="top" bottomline="true" leftline="true" usebox="none">
+\begin_inset Text
 
-: This function allows registered users to consult their reservation history.
+\begin_layout Plain Layout
+
+\shape slanted
+Effect
 \end_layout
 
-\begin_layout Standard
-\begin_inset Newpage newpage
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="2pt">
+<cell alignment="left" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A null parameter
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="left" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A NullArgumentException is raised.
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="2pt">
+<cell alignment="left" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A non-null user
+\end_layout
+
+\end_inset
+</cell>
+<cell mroffset="0.5pt" alignment="left" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+The user data are correctly inserted in the database.
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
 \end_inset
 
 
 \end_layout
 
-\begin_layout Subsubsection*
-Car Management
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
 \end_layout
 
-\begin_layout Subsubsection*
-Reservation Management
-\end_layout
-
-\begin_layout Subsubsection*
+\begin_layout Subsection
 Events Handler
 \end_layout
 
-\begin_layout Subsubsection*
+\begin_layout Standard
+Main functions implemented by the
+\series bold
+ Events Handler
+\series default
+:
+\begin_inset VSpace smallskip
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+\align center
+\begin_inset Tabular
+<lyxtabular version="3" rows="2" columns="1">
+<features tabularvalignment="middle" tabularwidth="50page%">
+<column alignment="center" valignment="top" width="0pt">
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\family typewriter
+register
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row>
+<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Tabular
+<lyxtabular version="3" rows="4" columns="2">
+<features tabularvalignment="middle">
+<column alignment="left" valignment="top">
+<column alignment="left" valignment="top" width="44col%">
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\series bold
+Description
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+This is a cool description
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\shape slanted
+Input
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="left" valignment="top" bottomline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\shape slanted
+Effect
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="2pt">
+<cell alignment="left" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A null parameter
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="left" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A NullArgumentException is raised.
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="2pt">
+<cell alignment="left" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A non-null user
+\end_layout
+
+\end_inset
+</cell>
+<cell mroffset="0.5pt" alignment="left" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+The user data are correctly inserted in the database.
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+\begin_inset VSpace smallskip
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+\align center
+\begin_inset Tabular
+<lyxtabular version="3" rows="2" columns="1">
+<features tabularvalignment="middle" tabularwidth="50page%">
+<column alignment="center" valignment="top" width="0pt">
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\family typewriter
+register
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row>
+<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Tabular
+<lyxtabular version="3" rows="4" columns="2">
+<features tabularvalignment="middle">
+<column alignment="left" valignment="top">
+<column alignment="left" valignment="top" width="44col%">
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\series bold
+Description
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+This is a cool description
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\shape slanted
+Input
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="left" valignment="top" bottomline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\shape slanted
+Effect
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="2pt">
+<cell alignment="left" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A null parameter
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="left" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A NullArgumentException is raised.
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="2pt">
+<cell alignment="left" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A non-null user
+\end_layout
+
+\end_inset
+</cell>
+<cell mroffset="0.5pt" alignment="left" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+The user data are correctly inserted in the database.
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Subsection
 Interfaces
 \end_layout
 
 \begin_layout Standard
-\begin_inset Newpage newpage
+Main functions implemented by the 
+\series bold
+Interfaces
+\series default
+:
+\begin_inset VSpace smallskip
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+\align center
+\begin_inset Tabular
+<lyxtabular version="3" rows="2" columns="1">
+<features tabularvalignment="middle" tabularwidth="50page%">
+<column alignment="center" valignment="top" width="0pt">
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\family typewriter
+register
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row>
+<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Tabular
+<lyxtabular version="3" rows="4" columns="2">
+<features tabularvalignment="middle">
+<column alignment="left" valignment="top">
+<column alignment="left" valignment="top" width="44col%">
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\series bold
+Description
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+This is a cool description
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\shape slanted
+Input
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="left" valignment="top" bottomline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\shape slanted
+Effect
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="2pt">
+<cell alignment="left" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A null parameter
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="left" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A NullArgumentException is raised.
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="2pt">
+<cell alignment="left" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A non-null user
+\end_layout
+
+\end_inset
+</cell>
+<cell mroffset="0.5pt" alignment="left" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+The user data are correctly inserted in the database.
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+\begin_inset VSpace smallskip
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+\align center
+\begin_inset Tabular
+<lyxtabular version="3" rows="2" columns="1">
+<features tabularvalignment="middle" tabularwidth="50page%">
+<column alignment="center" valignment="top" width="0pt">
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\family typewriter
+register
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row>
+<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Tabular
+<lyxtabular version="3" rows="4" columns="2">
+<features tabularvalignment="middle">
+<column alignment="left" valignment="top">
+<column alignment="left" valignment="top" width="44col%">
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\series bold
+Description
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+This is a cool description
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="1pt">
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\shape slanted
+Input
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="left" valignment="top" bottomline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\shape slanted
+Effect
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="2pt">
+<cell alignment="left" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A null parameter
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="left" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A NullArgumentException is raised.
+\end_layout
+
+\end_inset
+</cell>
+</row>
+<row topspace="1pt" bottomspace="2pt">
+<cell alignment="left" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A non-null user
+\end_layout
+
+\end_inset
+</cell>
+<cell mroffset="0.5pt" alignment="left" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+The user data are correctly inserted in the database.
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
 \end_inset