diff --git a/download.html b/download.html
index f41cd70..06c52db 100644
--- a/download.html
+++ b/download.html
@@ -2,22 +2,23 @@
 <html>
 <link rel="icon" type="image/png" href="favicon.ico" />
 <head>
-	<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
-	<title>CHESS</title>
-	<link rel="stylesheet" href="styles.css" type="text/css" />
+<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
+<title>CHESS</title>
+<link rel="stylesheet" href="styles.css" type="text/css" />
 </head>
 <body>
-    <header>
+	<header>
 		<div class="logo-left width">
-			<a href="index.html"><img src="images/logo_chess_350.gif" alt="CHESS logo" width=""></a>
+			<a href="index.html"><img src="images/logo_chess_350.gif"
+				alt="CHESS logo" width=""></a>
 		</div>
-    </header>
+	</header>
 
-    <nav>
+	<nav>
 		<div class="width">
 			<ul>
 				<li class="start"><a href="index.html">Home</a></li>
-				<li class="divider-vertical-second-menu"></li>				
+				<li class="divider-vertical-second-menu"></li>
 				<li><a href="features.html">Features</a></li>
 				<li class="divider-vertical-second-menu"></li>
 				<li><a href="start.html">Getting Started</a></li>
@@ -25,49 +26,75 @@
 				<li><a href="events.html">Events</a></li>
 				<li class="divider-vertical-second-menu"></li>
 				<li class="end"><a href="community.html">Community</a></li>
-				<li style="text-align:right;"><a href="download.html" class="box">Download</a></li>
-				<li style="float:none;"><br style="clear:both;" /></li> 
-			</ul>		
+				<li style="text-align: right;"><a href="download.html"
+					class="box">Download</a></li>
+				<li style="float: none;"><br style="clear: both;" /></li>
+			</ul>
 		</div>
-    </nav>
+	</nav>
 
 	<div id="hrdiv">
 		<img src="images/bg_breadcrumb.jpg" width="" alt="" height="" />
 	</div>
 
-    <div id="body" class="width-started">
-		<p>CHESS 1.0.0 has been released, see links below to download a full Eclipse CHESS distribution and the model examples. </br>
-		If you want to install the CHESS plugins by using the Eclipse update site feature, check the <a href="start.html">Getting Started page</a></br>
-		For release details, please check the
-		<a href="https://www.eclipse.org/projects/polarsys.chess/releases/1.0.0"> <b>release plan</b>.</a>
-		
+	<div id="body" class="width-started">
+		<p>
+			CHESS 1.0.0 has been released, see links below to download a full
+			Eclipse CHESS distribution and the model examples. </br> If you want to
+			install the CHESS plugins by using the Eclipse update site feature,
+			check the <a href="start.html">Getting Started page</a></br> For release
+			details, please check the <a
+				href="https://www.eclipse.org/projects/polarsys.chess/releases/1.0.0">
+				<b>release plan</b>.
+			</a>
 		<h3>CHESS Eclipse full distribution:</h3>
-		
-		<li><a href="http://download.eclipse.org/chess/core/releases/1.0.0/CHESS-1.0.0-win32-x86_64.zip">CHESS-1.0.0 Windows 64 bit</a></li>
-		<li><a href="http://download.eclipse.org/chess/core/releases/1.0.0/CHESS-1.0.0-linux-x86_64.tar.gz">CHESS-1.0.0 Linux 64 bit</a></li></br>
-		
+
+		<li><a
+			href="http://download.eclipse.org/chess/core/releases/1.0.0/CHESS-1.0.0-win32-x86_64.zip">CHESS-1.0.0
+				Windows 64 bit</a></li>
+		<li><a
+			href="http://download.eclipse.org/chess/core/releases/1.0.0/CHESS-1.0.0-linux-x86_64.tar.gz">CHESS-1.0.0
+				Linux 64 bit</a></li>
+		</br>
+
 		<h4>Previous versions:</h4>
-		<li><a href="http://download.polarsys.org/chess/core/releases/0.10.0/PolarsysCHESS0.10.0-win32-x86_64.zip">CHESS0.10.0 Windows 64 bit</a></li>
-		<li><a href="http://download.polarsys.org/chess/core/releases/0.10.0/PolarsysCHESS0.10.0-linux-x86_64.tar.gz">CHESS0.10.0 Linux 64 bit</a></li></br>
-    			
-		
+		<li><a
+			href="http://download.eclipse.org/chess/core/releases/0.10.0/PolarsysCHESS0.10.0-win32-x86_64.zip">CHESS0.10.0
+				Windows 64 bit</a></li>
+		<li><a
+			href="http://download.eclipse.org/chess/core/releases/0.10.0/PolarsysCHESS0.10.0-linux-x86_64.tar.gz">CHESS0.10.0
+				Linux 64 bit</a></li>
+		</br>
+
+
 		<h3>CHESS model examples</h3>
-		<li><a href="http://download.polarsys.org/chess/models/ProtectedOperationSample.zip">Producer-Consumer
-		(example about schedulability analysis)</a></li>
-		<li><a href="http://download.polarsys.org/chess/models/IndustrialDrive.zip">IndustrialDrive
-		(example about schedulability and E2E response time analyses) </a></li>
-		<li><a href="http://download.polarsys.org/chess/models/WBS.zip">Wheel Braking System (example about contract-based design)</a></li>
-		<li><a href="http://download.polarsys.org/chess/models/HBS.zip" title="Model from «L. Bressan, A. L. de Oliveira, L. Montecchi, B. Gallina. A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence. In: 14th European Dependable Computing Conference (EDCC 2018). Iasi, Romania, September 10-14, 2018»">Hybrid Braking System (example about safety analysis with CHESS-FLA and CHESS-SBA)</a></li></br>
+		<li><a
+			href="http://download.eclipse.org/chess/models/ProtectedOperationSample.zip">Producer-Consumer
+				(example about schedulability analysis)</a></li>
+		<li><a
+			href="http://download.eclipse.org/chess/models/IndustrialDrive.zip">IndustrialDrive
+				(example about schedulability and E2E response time analyses) </a></li>
+		<li><a href="http://download.eclipse.org/chess/models/WBS.zip">Wheel
+				Braking System (example about contract-based design)</a></li>
+				<li><a href="http://download.eclipse.org/chess/models/SenseSpacecraftRate.zip">Sense Spacecraft Rate (example about contract-based design, model checking and fault tree analysis)</a></li>
+		<li><a href="http://download.eclipse.org/chess/models/HBS.zip"
+			title="Model from «L. Bressan, A. L. de Oliveira, L. Montecchi, B. Gallina. A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence. In: 14th European Dependable Computing Conference (EDCC 2018). Iasi, Romania, September 10-14, 2018»">Hybrid
+				Braking System (example about safety analysis with CHESS-FLA and
+				CHESS-SBA)</a></li>
+		</br>
 		<div class="clear"></div>
-    </div>
-	
-    <footer>
+	</div>
+
+	<footer>
 		<div class="footer-content width">
 			<ul>
 				<li><h4>Eclipse Foundation</h4></li>
 				<li><a href="https://www.eclipse.org/org/">About</a></li>
-				<li><a href="https://www.eclipse.org/org/foundation/contact.php">Contact Us</a></li>
-				<li><a href="https://projects.eclipse.org/projects/polarsys.chess">CHESS
+				<li><a
+					href="https://www.eclipse.org/org/foundation/contact.php">Contact
+						Us</a></li>
+				<li><a
+					href="https://projects.eclipse.org/projects/polarsys.chess">CHESS
 						Project Page</a></li>
 			</ul>
 			<ul>
@@ -91,12 +118,13 @@
 				<li><a
 					href="https://wiki.eclipse.org/CHESS/Technical_Information">How
 						to Contribute</a></li>
-				<li><a href="https://accounts.eclipse.org/mailing-list/chess-dev">Mailing
+				<li><a
+					href="https://accounts.eclipse.org/mailing-list/chess-dev">Mailing
 						List</a></li>
 				<li><a href="https://www.eclipse.org/forums/index.php/f/529/">Forum</a></li>
 			</ul>
 			<ul class="endfooter">
-				<li><h4>Other</h4></li>				
+				<li><h4>Other</h4></li>
 				<li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler</a></li>
 				<li><a href="http://www.intecs.it/">Intecs</a></li>
 				<li><a href="http://www.unipd.it">University of Padova</a></li>
@@ -119,7 +147,7 @@
 							All Rights Reserved.
 						</div>
 					</td>
-				</tr>				
+				</tr>
 			</table>
 
 			<div class="clear"></div>