Website build build-chess-web-site-27
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
