Website build build-chess-web-site-staging-4

download.html

diff --git a/download.html b/download.html
index 2d96d38..98369a0 100644
--- a/download.html
+++ b/download.html
@@ -85,7 +85,9 @@
 		<li><a
 			href="https://download.eclipse.org/chess/models/SenseSpacecraftRateProject.zip">Sense
 				Spacecraft Rate (example about contract-based design, model checking
-				and fault tree analysis)</a></li>
+				and fault tree analysis)</a></li><li><a
+			href="https://download.eclipse.org/chess/models/TrainGateController_chess_model.zip">
+				Train Gate Controller (example about model checking with timed model)</a></li>
 		<li><a href="https://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