minor changes
diff --git a/download.html b/download.html
index c775a3e..f41cd70 100644
--- a/download.html
+++ b/download.html
@@ -52,8 +52,10 @@
<h3>CHESS model examples</h3>
- <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/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>
<div class="clear"></div>
diff --git a/start.html b/start.html
index 5f3ca56..4517107 100644
--- a/start.html
+++ b/start.html
@@ -196,7 +196,7 @@
<a href="publis/CHESS_MobiusIntegrationGuide.pdf"><b>here</b></a>
</p>
<p>
- <h4>CHESS Support to Software-Level Analysis</h4>
+ <h4>CHESS Support to Software Development and Analysis</h4>
Check out the guide available
<a href="publis/CHESS_SWDevelopmentGuide.pdf"><b>here</b></a>
for Schedulability Analysis and End2End Response Time Analysis