diff --git a/docs/case/bibliography.bib b/docs/case/bibliography.bib
index a1f44dce4601765c6f8be221838a85e2bfe4f8f0..9d367e5e34cce3fb0b66c22d6d65ce3b737fba16 100644
--- a/docs/case/bibliography.bib
+++ b/docs/case/bibliography.bib
@@ -100,7 +100,7 @@
   howpublished = {\url{https://www.transformation-tool-contest.eu/2017/solutions_livecontest.html}},
   month =     jul,
   year =      {2017},
-  note =      {Last accessed on 2017-05-10. Archived on \url{http://archive.is/gHEys}},
+  note =      {Last accessed on 2019-05-10. Archived on \url{http://archive.is/gHEys}},
 }
 
 @Misc{live2016,
@@ -109,15 +109,15 @@
   howpublished = {\url{https://www.transformation-tool-contest.eu/2016/livecontest.html}},
   month =     jul,
   year =      {2016},
-  note =      {Last accessed on 2017-05-10. Archived on \url{http://archive.is/gHEys}},
+  note =      {Last accessed on 2019-05-10. Archived on \url{http://archive.is/gHEys}},
 }
 
 @Misc{atlzoo,
-  author =    {{Eclipse Foundation}},
-  title =     {{ATL} Transformations},
-  howpublished = {\url{https://www.eclipse.org/atl/atlTransformations/}},
-  month =     jul,
-  year =      {2019},
-  note =      {Last accessed on 2017-05-10. Archived on \url{http://archive.is/HdoHM}},
+  author =    {Guillaume Savaton},
+  title =     {{Truth Tables to Binary Decision Diagrams, ATL Transformations}},
+  howpublished = {\url{https://www.eclipse.org/atl/atlTransformations/#TT2BDD}},
+  month =     feb,
+  year =      {2006},
+  note =      {Last accessed on 2019-05-14. Archived on \url{http://archive.is/HdoHM}},
 }
 
diff --git a/docs/case/case-description.pdf b/docs/case/case-description.pdf
index a1d1ce09e6dea47d1383fb81f9bda062387ba3c4..c45f4e3f3ffe6bb090e3af433e66ac670950280c 100644
Binary files a/docs/case/case-description.pdf and b/docs/case/case-description.pdf differ