diff --git a/README.md b/README.md
index e69de29..bc3207a 100644
--- a/README.md
+++ b/README.md
@@ -0,0 +1,5 @@
+
+TA Splitting for Reachability Testing
+=====================================
+
+Reachability testing in timed automata using pseudo-simulating abstract model generated on-the-fly and using zone splitting and DBMs