Update references (as suggested by Frederic Jouault)

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}},
 }