diff --git a/Conference.md b/Conference.md
index 38950fd..ca5ab56 100644
--- a/Conference.md
+++ b/Conference.md
@@ -1,21 +1,17 @@
 This translator has supported research activities presented in the following conferences:
 
 
-* ERTS<sup>2</sup> 2018: 9th European Congress Emdedded Real Time Software and Systems
-  https://www.erts2018.org/
+* IMBSA 2017: International Symposium on Model-Based Safety and Assessment
+  http://imbsa2017.fbk.eu/
 
- - Paper: Alexandre Albore, Silvano Dal Zilio, Marie de Roquemaurel, Christel Seguin, Pierre Virelizier: _Timed Formal Model and Verification of Satellite FDIR in Early Design Phase_
+ - Paper: Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin and Pierre Virelizier: _A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica_
 
- - Paper: https://www.erts2018.org/uploads/program/ERTS_2018_paper_12.pdf
+ - Book: https://www.springer.com/it/book/9783319641188
 
-* IMBSA 2017: International Symposium on Model-Based Safety and Assessment
-  http://imbsa2017.fbk.eu/
-- Paper: Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin and Pierre Virelizier: _A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica_
-- Book: https://www.springer.com/it/book/9783319641188
 
 * ERTS<sup>2</sup> 2018: 9th European Congress Emdedded Real Time Software and Systems
   https://www.erts2018.org/
 
  - Paper: Alexandre Albore, Silvano Dal Zilio, Marie de Roquemaurel, Christel Seguin, Pierre Virelizier: _Timed Formal Model and Verification of Satellite FDIR in Early Design Phase_
 
- - Paper: https://www.erts2018.org/uploads/program/ERTS_2018_paper_12.pdf
\ No newline at end of file
+ - PDF: https://www.erts2018.org/uploads/program/ERTS_2018_paper_12.pdf
\ No newline at end of file