From ba30e14005c8efa8b8434dad64ed0a33d61d2b94 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Mon, 6 Dec 2021 16:25:12 +0100
Subject: [PATCH] Add initial publication in README

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README.md b/README.md
index 4bc0daa0..b5496856 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
 ------------
 
-- 
GitLab