diff --git a/3.Integration Test Plan Document/ITPD.lyx b/3.Integration Test Plan Document/ITPD.lyx
index 6b685a0..153e9c2 100644
--- a/3.Integration Test Plan Document/ITPD.lyx	
+++ b/3.Integration Test Plan Document/ITPD.lyx	
@@ -3478,7 +3478,7 @@ ADS_Application Manager
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="2" columns="1">
-<features tabularvalignment="middle" tabularwidth="50page%">
+<features tabularvalignment="middle" tabularwidth="70page%">
 <column alignment="center" valignment="top" width="0pt">
 <row topspace="1pt" bottomspace="1pt">
 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
@@ -3487,7 +3487,7 @@ ADS_Application Manager
 \begin_layout Plain Layout
 
 \family typewriter
-checkStatus()
+getStatus()
 \end_layout
 
 \end_inset
@@ -3499,12 +3499,12 @@ checkStatus()
 
 \begin_layout Plain Layout
 \begin_inset Tabular
-<lyxtabular version="3" rows="4" columns="2">
+<lyxtabular version="3" rows="3" columns="2">
 <features tabularvalignment="middle">
-<column alignment="left" valignment="top">
-<column alignment="left" valignment="top" width="44col%">
+<column alignment="left" valignment="middle" width="36col%">
+<column alignment="left" valignment="top" width="50col%">
 <row topspace="1pt" bottomspace="1pt">
-<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+<cell multirow="3" alignment="left" valignment="middle" bottomline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
@@ -3515,11 +3515,27 @@ Description
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-This is a cool description
+This function asks the ADS to check the current status (
+\shape slanted
+available
+\shape default
+, 
+\shape slanted
+reserved
+\shape default
+, 
+\shape slanted
+in_use
+\shape default
+, 
+\shape slanted
+unavailable
+\shape default
+) of the car.
 \end_layout
 
 \end_inset
@@ -3532,7 +3548,7 @@ This is a cool description
 \begin_layout Plain Layout
 
 \shape slanted
-Input
+Input Specification
 \end_layout
 
 \end_inset
@@ -3554,27 +3570,7 @@ Effect
 \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
+None
 \end_layout
 
 \end_inset
@@ -3583,7 +3579,7 @@ A non-null user
 \begin_inset Text
 
 \begin_layout Plain Layout
-The user data are correctly inserted in the database.
+The car status is returned.
 \end_layout
 
 \end_inset
@@ -3617,7 +3613,7 @@ The user data are correctly inserted in the database.
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="2" columns="1">
-<features tabularvalignment="middle" tabularwidth="50page%">
+<features tabularvalignment="middle" tabularwidth="70page%">
 <column alignment="center" valignment="top" width="0pt">
 <row topspace="1pt" bottomspace="1pt">
 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
@@ -3626,7 +3622,7 @@ The user data are correctly inserted in the database.
 \begin_layout Plain Layout
 
 \family typewriter
-checkDamages()
+getDamages()
 \end_layout
 
 \end_inset
@@ -3638,12 +3634,12 @@ checkDamages()
 
 \begin_layout Plain Layout
 \begin_inset Tabular
-<lyxtabular version="3" rows="4" columns="2">
+<lyxtabular version="3" rows="3" columns="2">
 <features tabularvalignment="middle">
-<column alignment="left" valignment="top">
-<column alignment="left" valignment="top" width="44col%">
+<column alignment="left" valignment="middle" width="36col%">
+<column alignment="left" valignment="top" width="50col%">
 <row topspace="1pt" bottomspace="1pt">
-<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+<cell multirow="3" alignment="left" valignment="middle" bottomline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
@@ -3654,11 +3650,18 @@ Description
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-This is a cool description
+This function queries the ADS to check the eventual car’s damages through
+ the sensors installed in there.
+ If the ADS find any kind of anomalies, it will change the status of the
+ car into 
+\shape slanted
+unavailable
+\shape default
+.
 \end_layout
 
 \end_inset
@@ -3671,7 +3674,7 @@ This is a cool description
 \begin_layout Plain Layout
 
 \shape slanted
-Input
+Input Specification
 \end_layout
 
 \end_inset
@@ -3693,27 +3696,7 @@ Effect
 \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
+None
 \end_layout
 
 \end_inset
@@ -3722,7 +3705,8 @@ A non-null user
 \begin_inset Text
 
 \begin_layout Plain Layout
-The user data are correctly inserted in the database.
+The car damages are returned and the car status is updated.
+ 
 \end_layout
 
 \end_inset
@@ -3743,6 +3727,10 @@ The user data are correctly inserted in the database.
 \end_inset
 
 
+\end_layout
+
+\begin_layout Standard
+\align center
 \begin_inset VSpace smallskip
 \end_inset
 
@@ -3753,826 +3741,7 @@ The user data are correctly inserted in the database.
 \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
-checkPosition()
-\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
-
-
-\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
-checkPassengers()
-\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
-
-
-\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
-checkPowerGrid()
-\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
-lockDoors()
-\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
-
-
-\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
-unlockDoors()
-\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
-
-
-\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
-updateReservationStatus(Status)
-\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
-
-
-\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%">
+<features tabularvalignment="middle" tabularwidth="70page%">
 <column alignment="center" valignment="top" width="0pt">
 <row topspace="1pt" bottomspace="1pt">
 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
@@ -4593,12 +3762,12 @@ getPosition()
 
 \begin_layout Plain Layout
 \begin_inset Tabular
-<lyxtabular version="3" rows="4" columns="2">
+<lyxtabular version="3" rows="3" columns="2">
 <features tabularvalignment="middle">
-<column alignment="left" valignment="top">
-<column alignment="left" valignment="top" width="44col%">
+<column alignment="left" valignment="middle" width="36col%">
+<column alignment="left" valignment="top" width="50col%">
 <row topspace="1pt" bottomspace="1pt">
-<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+<cell multirow="3" alignment="left" valignment="middle" bottomline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
@@ -4609,11 +3778,11 @@ Description
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-This is a cool description
+This function queries the ADS to check the current position of the car.
 \end_layout
 
 \end_inset
@@ -4626,7 +3795,7 @@ This is a cool description
 \begin_layout Plain Layout
 
 \shape slanted
-Input
+Input Specification
 \end_layout
 
 \end_inset
@@ -4648,16 +3817,113 @@ Effect
 \begin_inset Text
 
 \begin_layout Plain Layout
-A null parameter
+None
 \end_layout
 
 \end_inset
 </cell>
-<cell alignment="left" valignment="top" leftline="true" usebox="none">
+<cell mroffset="0.5pt" alignment="left" valignment="top" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-A NullArgumentException is raised.
+The current position of the car is returned.
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\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="70page%">
+<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
+getPassengers()
+\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="3" columns="2">
+<features tabularvalignment="middle">
+<column alignment="left" valignment="middle" width="36col%">
+<column alignment="left" valignment="top" width="50col%">
+<row topspace="1pt" bottomspace="1pt">
+<cell multirow="3" alignment="left" valignment="middle" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\series bold
+Description
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+This function queries the ADS the number of passengers actually inside the
+ car.
+\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 Specification
+\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
@@ -4668,7 +3934,7 @@ A NullArgumentException is raised.
 \begin_inset Text
 
 \begin_layout Plain Layout
-A non-null user
+None
 \end_layout
 
 \end_inset
@@ -4677,7 +3943,532 @@ A non-null user
 \begin_inset Text
 
 \begin_layout Plain Layout
-The user data are correctly inserted in the database.
+The number of passengers actually inside the car is returned.
+ 
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\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="70page%">
+<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
+checkPowerGrid()
+\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="3" columns="2">
+<features tabularvalignment="middle">
+<column alignment="left" valignment="middle" width="36col%">
+<column alignment="left" valignment="top" width="50col%">
+<row topspace="1pt" bottomspace="1pt">
+<cell multirow="3" alignment="left" valignment="middle" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\series bold
+Description
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+This function queries the ADS to check if the car is plugged into the power
+ grid.
+\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 Specification
+\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
+None
+\end_layout
+
+\end_inset
+</cell>
+<cell mroffset="0.5pt" alignment="left" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+Returns true if the car is plugged into the power grid, false otherwise.
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+\align center
+\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="70page%">
+<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
+lockDoors()
+\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="3" columns="2">
+<features tabularvalignment="middle">
+<column alignment="left" valignment="middle" width="36col%">
+<column alignment="left" valignment="top" width="50col%">
+<row topspace="1pt" bottomspace="1pt">
+<cell multirow="3" alignment="left" valignment="middle" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\series bold
+Description
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+This function queries the ADS the lock the car’s doors and to change the
+ status of the car into 
+\shape slanted
+available
+\shape default
+.
+\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 Specification
+\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
+None
+\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 doors are locked.
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+\align center
+\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="70page%">
+<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
+unlockDoors()
+\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="3" columns="2">
+<features tabularvalignment="middle">
+<column alignment="left" valignment="middle" width="36col%">
+<column alignment="left" valignment="top" width="50col%">
+<row topspace="1pt" bottomspace="1pt">
+<cell multirow="3" alignment="left" valignment="middle" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\series bold
+Description
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+This function queries the ADS the unlock the car’s doors and to change the
+ status of the car into 
+\shape slanted
+in_use
+\shape default
+.
+\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 Specification
+\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
+None
+\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 doors are unlocked.
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\end_layout
+
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset
+
+
+\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="70page%">
+<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
+updateCarStatus(Status)
+\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="5" columns="2">
+<features tabularvalignment="middle">
+<column alignment="left" valignment="middle" width="36col%">
+<column alignment="left" valignment="top" width="50col%">
+<row topspace="1pt" bottomspace="1pt">
+<cell multirow="3" alignment="left" valignment="middle" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\series bold
+Description
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+This function queries the ADS the change the car’s status into the one passed
+ as argument.
+\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 Specification
+\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="center" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+A null parameter
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="center" 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="center" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+An invalid object
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="center" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+An InvalidArgumentException 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 valid Status object
+\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 car status is updated according to the Status object.
 \end_layout
 
 \end_inset
@@ -4710,6 +4501,10 @@ Main functions implemented by the
 Car Manager
 \series default
 :
+\end_layout
+
+\begin_layout Standard
+\align center
 \begin_inset VSpace smallskip
 \end_inset
 
@@ -4720,7 +4515,7 @@ Car Manager
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="2" columns="1">
-<features tabularvalignment="middle" tabularwidth="50page%">
+<features tabularvalignment="middle" tabularwidth="70page%">
 <column alignment="center" valignment="top" width="0pt">
 <row topspace="1pt" bottomspace="1pt">
 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
@@ -4729,7 +4524,7 @@ Car Manager
 \begin_layout Plain Layout
 
 \family typewriter
-requestInformation(Car)
+contactMaintainanceService(Car)
 \end_layout
 
 \end_inset
@@ -4741,12 +4536,12 @@ requestInformation(Car)
 
 \begin_layout Plain Layout
 \begin_inset Tabular
-<lyxtabular version="3" rows="4" columns="2">
+<lyxtabular version="3" rows="5" columns="2">
 <features tabularvalignment="middle">
-<column alignment="left" valignment="top">
-<column alignment="left" valignment="top" width="44col%">
+<column alignment="left" valignment="middle" width="36col%">
+<column alignment="left" valignment="top" width="50col%">
 <row topspace="1pt" bottomspace="1pt">
-<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+<cell multirow="3" alignment="left" valignment="middle" bottomline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
@@ -4757,11 +4552,13 @@ Description
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-This is a cool description
+Every time the Car Manager retrieve information about a car’s status, if
+ necessary, it will send a request of maintainance to an external maintanance
+ service through this function.
 \end_layout
 
 \end_inset
@@ -4774,7 +4571,7 @@ This is a cool description
 \begin_layout Plain Layout
 
 \shape slanted
-Input
+Input Specification
 \end_layout
 
 \end_inset
@@ -4792,7 +4589,7 @@ Effect
 </cell>
 </row>
 <row topspace="1pt" bottomspace="2pt">
-<cell alignment="left" valignment="top" usebox="none">
+<cell alignment="center" valignment="top" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
@@ -4801,13 +4598,33 @@ A null parameter
 
 \end_inset
 </cell>
-<cell alignment="left" valignment="top" leftline="true" usebox="none">
+<cell alignment="center" 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="center" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+An invalid object
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="center" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+An InvalidArgumentException is raised.
+\end_layout
+
 \end_inset
 </cell>
 </row>
@@ -4816,7 +4633,7 @@ A NullArgumentException is raised.
 \begin_inset Text
 
 \begin_layout Plain Layout
-A non-null user
+A valid Car object
 \end_layout
 
 \end_inset
@@ -4825,7 +4642,8 @@ A non-null user
 \begin_inset Text
 
 \begin_layout Plain Layout
-The user data are correctly inserted in the database.
+A maintainance request to an external service is successfully sent for the
+ specified Car.
 \end_layout
 
 \end_inset
@@ -4849,6 +4667,7 @@ The user data are correctly inserted in the database.
 \end_layout
 
 \begin_layout Standard
+\align center
 \begin_inset VSpace smallskip
 \end_inset
 
@@ -4859,7 +4678,7 @@ The user data are correctly inserted in the database.
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="2" columns="1">
-<features tabularvalignment="middle" tabularwidth="50page%">
+<features tabularvalignment="middle" tabularwidth="70page%">
 <column alignment="center" valignment="top" width="0pt">
 <row topspace="1pt" bottomspace="1pt">
 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
@@ -4868,7 +4687,7 @@ The user data are correctly inserted in the database.
 \begin_layout Plain Layout
 
 \family typewriter
-contactMaintananceService(Car)
+ping(Car)
 \end_layout
 
 \end_inset
@@ -4880,12 +4699,12 @@ contactMaintananceService(Car)
 
 \begin_layout Plain Layout
 \begin_inset Tabular
-<lyxtabular version="3" rows="4" columns="2">
+<lyxtabular version="3" rows="5" columns="2">
 <features tabularvalignment="middle">
-<column alignment="left" valignment="top">
-<column alignment="left" valignment="top" width="44col%">
+<column alignment="left" valignment="middle" width="36col%">
+<column alignment="left" valignment="top" width="50col%">
 <row topspace="1pt" bottomspace="1pt">
-<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+<cell multirow="3" alignment="left" valignment="middle" bottomline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
@@ -4896,11 +4715,11 @@ Description
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-This is a cool description
+This function queries a Car to check whether it is online.
 \end_layout
 
 \end_inset
@@ -4913,7 +4732,7 @@ This is a cool description
 \begin_layout Plain Layout
 
 \shape slanted
-Input
+Input Specification
 \end_layout
 
 \end_inset
@@ -4931,7 +4750,7 @@ Effect
 </cell>
 </row>
 <row topspace="1pt" bottomspace="2pt">
-<cell alignment="left" valignment="top" usebox="none">
+<cell alignment="center" valignment="top" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
@@ -4940,13 +4759,33 @@ A null parameter
 
 \end_inset
 </cell>
-<cell alignment="left" valignment="top" leftline="true" usebox="none">
+<cell alignment="center" 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="center" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+An invalid object
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="center" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+An InvalidArgumentException is raised.
+\end_layout
+
 \end_inset
 </cell>
 </row>
@@ -4955,7 +4794,7 @@ A NullArgumentException is raised.
 \begin_inset Text
 
 \begin_layout Plain Layout
-A non-null user
+A valid Car object
 \end_layout
 
 \end_inset
@@ -4964,7 +4803,7 @@ A non-null user
 \begin_inset Text
 
 \begin_layout Plain Layout
-The user data are correctly inserted in the database.
+A response from the Car is received.
 \end_layout
 
 \end_inset
@@ -4985,6 +4824,10 @@ The user data are correctly inserted in the database.
 \end_inset
 
 
+\end_layout
+
+\begin_layout Standard
+\align center
 \begin_inset VSpace smallskip
 \end_inset
 
@@ -4995,7 +4838,7 @@ The user data are correctly inserted in the database.
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="2" columns="1">
-<features tabularvalignment="middle" tabularwidth="50page%">
+<features tabularvalignment="middle" tabularwidth="70page%">
 <column alignment="center" valignment="top" width="0pt">
 <row topspace="1pt" bottomspace="1pt">
 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
@@ -5004,7 +4847,7 @@ The user data are correctly inserted in the database.
 \begin_layout Plain Layout
 
 \family typewriter
-performAction(Car, Action)
+carsInRadius(User)
 \end_layout
 
 \end_inset
@@ -5016,12 +4859,12 @@ performAction(Car, Action)
 
 \begin_layout Plain Layout
 \begin_inset Tabular
-<lyxtabular version="3" rows="4" columns="2">
+<lyxtabular version="3" rows="5" columns="2">
 <features tabularvalignment="middle">
-<column alignment="left" valignment="top">
-<column alignment="left" valignment="top" width="44col%">
+<column alignment="left" valignment="middle" width="36col%">
+<column alignment="left" valignment="top" width="50col%">
 <row topspace="1pt" bottomspace="1pt">
-<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+<cell multirow="3" alignment="left" valignment="middle" bottomline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
@@ -5032,11 +4875,11 @@ Description
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-This is a cool description
+This function retrieves all the cars near the User location.
 \end_layout
 
 \end_inset
@@ -5049,7 +4892,7 @@ This is a cool description
 \begin_layout Plain Layout
 
 \shape slanted
-Input
+Input Specification
 \end_layout
 
 \end_inset
@@ -5067,7 +4910,7 @@ Effect
 </cell>
 </row>
 <row topspace="1pt" bottomspace="2pt">
-<cell alignment="left" valignment="top" usebox="none">
+<cell alignment="center" valignment="top" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
@@ -5076,13 +4919,33 @@ A null parameter
 
 \end_inset
 </cell>
-<cell alignment="left" valignment="top" leftline="true" usebox="none">
+<cell alignment="center" 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="center" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+An invalid object
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="center" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+An InvalidArgumentException is raised.
+\end_layout
+
 \end_inset
 </cell>
 </row>
@@ -5091,7 +4954,7 @@ A NullArgumentException is raised.
 \begin_inset Text
 
 \begin_layout Plain Layout
-A non-null user
+A valid User object
 \end_layout
 
 \end_inset
@@ -5100,7 +4963,7 @@ A non-null user
 \begin_inset Text
 
 \begin_layout Plain Layout
-The user data are correctly inserted in the database.
+A list of cars near the User.
 \end_layout
 
 \end_inset
@@ -5137,6 +5000,9 @@ Main functions implemented by the
  CheckAvailability Manager
 \series default
 :
+\end_layout
+
+\begin_layout Standard
 \begin_inset VSpace smallskip
 \end_inset
 
@@ -5147,7 +5013,7 @@ Main functions implemented by the
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="2" columns="1">
-<features tabularvalignment="middle" tabularwidth="50page%">
+<features tabularvalignment="middle" tabularwidth="70page%">
 <column alignment="center" valignment="top" width="0pt">
 <row topspace="1pt" bottomspace="1pt">
 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
@@ -5156,7 +5022,7 @@ Main functions implemented by the
 \begin_layout Plain Layout
 
 \family typewriter
-checkUserPosition(User)
+getUserPosition(User)
 \end_layout
 
 \end_inset
@@ -5168,12 +5034,12 @@ checkUserPosition(User)
 
 \begin_layout Plain Layout
 \begin_inset Tabular
-<lyxtabular version="3" rows="4" columns="2">
+<lyxtabular version="3" rows="5" columns="2">
 <features tabularvalignment="middle">
-<column alignment="left" valignment="top">
-<column alignment="left" valignment="top" width="44col%">
+<column alignment="left" valignment="middle" width="36col%">
+<column alignment="left" valignment="top" width="50col%">
 <row topspace="1pt" bottomspace="1pt">
-<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+<cell multirow="3" alignment="left" valignment="middle" bottomline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
@@ -5184,11 +5050,12 @@ Description
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-This is a cool description
+This function will retrieve the information about the user’s position through
+ the Google Maps API.
 \end_layout
 
 \end_inset
@@ -5201,7 +5068,7 @@ This is a cool description
 \begin_layout Plain Layout
 
 \shape slanted
-Input
+Input Specification
 \end_layout
 
 \end_inset
@@ -5219,7 +5086,7 @@ Effect
 </cell>
 </row>
 <row topspace="1pt" bottomspace="2pt">
-<cell alignment="left" valignment="top" usebox="none">
+<cell alignment="center" valignment="top" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
@@ -5228,13 +5095,33 @@ A null parameter
 
 \end_inset
 </cell>
-<cell alignment="left" valignment="top" leftline="true" usebox="none">
+<cell alignment="center" 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="center" valignment="top" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+An invalid object
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="center" valignment="top" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+An InvalidArgumentException is raised.
+\end_layout
+
 \end_inset
 </cell>
 </row>
@@ -5243,7 +5130,7 @@ A NullArgumentException is raised.
 \begin_inset Text
 
 \begin_layout Plain Layout
-A non-null user
+A valid User object
 \end_layout
 
 \end_inset
@@ -5252,7 +5139,7 @@ A non-null user
 \begin_inset Text
 
 \begin_layout Plain Layout
-The user data are correctly inserted in the database.
+The current position of the user is returned.
 \end_layout
 
 \end_inset
@@ -5286,7 +5173,7 @@ The user data are correctly inserted in the database.
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="2" columns="1">
-<features tabularvalignment="middle" tabularwidth="50page%">
+<features tabularvalignment="middle" tabularwidth="70page%">
 <column alignment="center" valignment="top" width="0pt">
 <row topspace="1pt" bottomspace="1pt">
 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
@@ -5295,7 +5182,7 @@ The user data are correctly inserted in the database.
 \begin_layout Plain Layout
 
 \family typewriter
-showMap(Car, User)
+isAvailable(Car)
 \end_layout
 
 \end_inset
@@ -5307,12 +5194,12 @@ showMap(Car, User)
 
 \begin_layout Plain Layout
 \begin_inset Tabular
-<lyxtabular version="3" rows="4" columns="2">
+<lyxtabular version="3" rows="5" columns="2">
 <features tabularvalignment="middle">
-<column alignment="left" valignment="top">
-<column alignment="left" valignment="top" width="44col%">
+<column alignment="left" valignment="middle" width="36col%">
+<column alignment="left" valignment="top" width="50col%">
 <row topspace="1pt" bottomspace="1pt">
-<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+<cell multirow="3" alignment="left" valignment="middle" bottomline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
@@ -5323,11 +5210,11 @@ Description
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" bottomline="true" usebox="none">
+<cell alignment="left" valignment="top" bottomline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-This is a cool description
+This function check whether the Car is available.
 \end_layout
 
 \end_inset
@@ -5340,7 +5227,7 @@ This is a cool description
 \begin_layout Plain Layout
 
 \shape slanted
-Input
+Input Specification
 \end_layout
 
 \end_inset
@@ -5358,7 +5245,7 @@ Effect
 </cell>
 </row>
 <row topspace="1pt" bottomspace="2pt">
-<cell alignment="left" valignment="top" usebox="none">
+<cell alignment="center" valignment="top" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
@@ -5367,7 +5254,7 @@ A null parameter
 
 \end_inset
 </cell>
-<cell alignment="left" valignment="top" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
@@ -5378,119 +5265,20 @@ A NullArgumentException is raised.
 </cell>
 </row>
 <row topspace="1pt" bottomspace="2pt">
-<cell alignment="left" valignment="top" usebox="none">
+<cell alignment="center" valignment="top" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-A non-null user
+An invalid object
 \end_layout
 
 \end_inset
 </cell>
-<cell mroffset="0.5pt" alignment="left" valignment="top" leftline="true" usebox="none">
+<cell alignment="center" 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
-isAvailable(Car, User)
-\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
+An InvalidArgumentException is raised.
 \end_layout
 
 \end_inset
@@ -5501,27 +5289,7 @@ Effect
 \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
+A valid Car object
 \end_layout
 
 \end_inset
@@ -5530,7 +5298,7 @@ A non-null user
 \begin_inset Text
 
 \begin_layout Plain Layout
-The user data are correctly inserted in the database.
+Returns true if the Car is available, false otherwise.
 \end_layout
 
 \end_inset
diff --git a/3.Integration Test Plan Document/res/img/Reservation Management 1.png b/3.Integration Test Plan Document/res/img/Reservation Management 1.png
index fb73525..8dee1b0 100644
Binary files a/3.Integration Test Plan Document/res/img/Reservation Management 1.png and b/3.Integration Test Plan Document/res/img/Reservation Management 1.png differ
diff --git a/3.Integration Test Plan Document/res/img/Reservation Management 2.png b/3.Integration Test Plan Document/res/img/Reservation Management 2.png
index c48af03..41dc613 100644
Binary files a/3.Integration Test Plan Document/res/img/Reservation Management 2.png and b/3.Integration Test Plan Document/res/img/Reservation Management 2.png differ