diff --git a/README.md b/README.md
index 4bc0daa0ffb51e0ac62b02903f89a999f50c66ed..b5496856daa80b62c4c714f2fcd5372b19e2fc01 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,9 @@
 NCCoq is a formalization of the network calculus
 
+Related publication:
+
+* [Formal Verification of Real-time Networks](https://hal.archives-ouvertes.fr/hal-02449140/)
+
 Dependencies
 ------------