Added HBS example model from EDCC2018 paper
diff --git a/download.html b/download.html
index 7c1bee1..4844faf 100644
--- a/download.html
+++ b/download.html
@@ -52,10 +52,10 @@
<h3>CHESS model examples</h3>
- <li><a href="http://download.polarsys.org/chess/models/ProtectedOperationSample.zip">Producer-Consumer</li></a>
- <li><a href="http://download.polarsys.org/chess/models/IndustrialDrive.zip">IndustrialDrive</li></a></br>
- <li><a href="http://download.polarsys.org/chess/models/WBS.zip">Wheel Braking System (example about contract-based design)</li></a></br>
-
+ <li><a href="http://download.polarsys.org/chess/models/ProtectedOperationSample.zip">Producer-Consumer</a></li>
+ <li><a href="http://download.polarsys.org/chess/models/IndustrialDrive.zip">IndustrialDrive</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 state-based analysis)</a></li></br>
<div class="clear"></div>
</div>
@@ -110,4 +110,4 @@
</footer>
</body>
-</html>
\ No newline at end of file
+</html>
