diff --git a/README.md b/README.md
index b9d1792..814f958 100755
--- a/README.md
+++ b/README.md
@@ -23,9 +23,9 @@ Isabelle/DOF has two major pre-requisites:
 * **Isabelle:** Isabelle/DOF requires [Isabelle 2021](http://isabelle.in.tum.de/website-Isabelle2021/).
   Please download the Isabelle 2021 distribution for your operating
   system from the [Isabelle website](http://isabelle.in.tum.de/website-Isabelle2021/).
-* **LaTeX:** Isabelle/DOF requires a modern TeX-engine supporting the \expanded{}-primitive. This
-  is, for example, included in the [TeX Live 2020](https://www.tug.org/texlive/) (or later)
-  distribution. 
+* **LaTeX:** Isabelle/DOF requires a modern LaTeX installation, i.e., at least 
+  [TeX Live 2020](https://www.tug.org/texlive/) with all available updates applied (in particular 
+  ``tcolorbox.sty`` 4.42 or later is required). 
   
 ## Installation
 
@@ -190,6 +190,10 @@ SPDX-License-Identifier: BSD-2-Clause
   Integrated Formal Methods (IFM). Lecture Notes in Computer Science (11918). Springer-Verlag 2019.
   [doi:10.1007/978-3-030-34968-4_4](http://dx.doi.org/10.1007/978-3-030-34968-4_4)  
 
+* Sergio Bezzecchi, Paolo Crisafulli, Charlotte Pichot, and Burkhart Wolff. Making Agile Development 
+  Processes fit for V-style Certification Procedures. In ERTS 2018. 
+  <https://hal.archives-ouvertes.fr/hal-01702815>
+
 ## Master Repository
 
 The master git repository for this project is hosted