diff --git a/community.html b/community.html
index 34a354e..0b49ef9 100644
--- a/community.html
+++ b/community.html
@@ -144,7 +144,7 @@
 			</ul>
 			<ul class="endfooter">
 				<li><h4>Other</h4></li>				
-				<li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></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>
 				<li><a href="http://www.mdh.se/">Mälardalen University</a></li>
diff --git a/download.html b/download.html
index ee57b47..c775a3e 100644
--- a/download.html
+++ b/download.html
@@ -95,7 +95,7 @@
 			</ul>
 			<ul class="endfooter">
 				<li><h4>Other</h4></li>				
-				<li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></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>
 				<li><a href="http://www.mdh.se/">Mälardalen University</a></li>
diff --git a/events.html b/events.html
index c2eb58f..307d56c 100644
--- a/events.html
+++ b/events.html
@@ -111,7 +111,7 @@
 			</ul>
 			<ul class="endfooter">
 				<li><h4>Other</h4></li>				
-				<li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></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>
 				<li><a href="http://www.mdh.se/">Mälardalen University</a></li>
diff --git a/features.html b/features.html
index 03c89fa..7c155be 100644
--- a/features.html
+++ b/features.html
@@ -298,7 +298,7 @@
 			</ul>
 			<ul class="endfooter">
 				<li><h4>Other</h4></li>				
-				<li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></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>
 				<li><a href="http://www.mdh.se/">Mälardalen University</a></li>
diff --git a/index.html b/index.html
index ed87ead..fc159b1 100644
--- a/index.html
+++ b/index.html
@@ -90,22 +90,20 @@
 					components at the level of component design down to the execution level.
 				</p>
 				<p>
-					CHESS also addresses the description and verification of system and component dependability 
-					properties (like fault, error, failures and failures propagations) through a dedicated UML profile for dependability
-					and seamless integration with embedded and external dependability tools enabling failure propagation and
-					state based analysis.
+					CHESS enables the design of safety-critical systems implementing the contract-based paradigm. The structural and behavioural aspects are verified interacting respectively with contract-based verification tools (such as <a href="https://ocra.fbk.eu/">OCRA</a>) and model checking tools (such as <a href="https://nuxmv.fbk.eu/">nuXmv</a>).
 				</p>
 				<p>
-					CHESS also provides a profile allowing contract-based design and dedicated model transformation enabling
-					seamless integration with external tools for the verification of contracts specification.
-				</p>
+					CHESS also addresses the description and verification of system and component dependability 
+					properties (like fault, error, failures and failures propagations) through a dedicated UML profile for dependability
+					and seamless integration with embedded and external dependability tools, such as <a href="https://xsap.fbk.eu/">xSAP</a>, enabling failure propagation and
+					state based analysis.
+				</p>				
 				<p>
 					CHESS tooling extends Papyrus editor to properly support the CHESS methodology, in particular 
 					allowing working with different views on the model including requirements, system, components, 
 					deployment and analysis view.
 				</p>
-				
-				
+							
 				<h3>Description</h3>
 				<p>
 					CHESS implements the CHESS UML/SysML profile, a specialization of the Modeling and Analysis of 
@@ -180,7 +178,7 @@
 			</ul>
 			<ul class="endfooter">
 				<li><h4>Other</h4></li>				
-				<li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></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>
 				<li><a href="http://www.mdh.se/">Mälardalen University</a></li>
diff --git a/start.html b/start.html
index b5a62ab..5f3ca56 100644
--- a/start.html
+++ b/start.html
@@ -48,7 +48,7 @@
 					<div id="tab-content1" class="tab-content">
 						This page provides all the information needed to setup the
 						CHESS tool. Please refer also to the provided <a
-							href="publis/CHESSToolset_UserGuide.pdf"><b>user guide</b></a> to
+							href="publis/CHESS_ToolsetGuide.pdf"><b>user guide</b></a> to
 						check the extensions currently available for CHESS.
 
 						<h3>Needed environment</h3>
@@ -267,7 +267,7 @@
 			</ul>
 			<ul class="endfooter">
 				<li><h4>Other</h4></li>				
-				<li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></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>
 				<li><a href="http://www.mdh.se/">Mälardalen University</a></li>