diff --git a/website/content/en/research/_index.md b/website/content/en/research/_index.md
index 572f52f..21aeccb 100644
--- a/website/content/en/research/_index.md
+++ b/website/content/en/research/_index.md
@@ -17,7 +17,7 @@ The development of Blech is accompanied by research activities. This research is
 - **Extracting Mode Diagrams from Blech Code**. Daniel Lucas and Alexander Schulz-Rosengarten and Reinhard von Hanxleden and Friedrich Gretz and Franz-Josef Grosch, *2021 Forum on Specification and Design Languages (FDL)*, Antibes, France. doi: [10.1109/FDL53530.2021.9568375](https://doi.org/10.1109/FDL53530.2021.9568375)
 </A>
 
-- **Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech**. Friedrich Gretz, Franz-Josef Grosch, Michael Mendler and Stephan Scheele, *2020 Forum on Specification and Design Languages (FDL)*, Kiel, Germany. doi: [10.1109/FDL50818.2020.9232942](https://doi.org/10.1109/FDL50818.2020.9232942)
+- **Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech**. Friedrich Gretz, Franz-Josef Grosch, Michael Mendler and Stephan Scheele, *2020 Forum on Specification and Design Languages (FDL)*, Kiel, Germany. doi: [10.1109/FDL50818.2020.9232942](https://doi.org/10.1109/FDL50818.2020.9232942). Extended version appeard in ACM Transactions on Embedded Computing Systems, October 2022, pp.1-44, https://doi.org/10.1145/3571585.
   
 - **Blech, Imperative Synchronous Programming!**. Friedrich Gretz and Franz-Josef Grosch, *2018 Forum on Specification & Design Languages (FDL)*, Garching, Germany. doi: [10.1109/FDL.2018.8524036](https://doi.org/10.1109/FDL.2018.8524036).