diff --git a/Readme.org b/Readme.org
index 30c7311a9d26227d7acefa76b4adbaae011fcf8e..464a1a996ab4f5fd2616b708809f92a518229790 100644
--- a/Readme.org
+++ b/Readme.org
@@ -5,3 +5,16 @@
 
 ** Modelchecking the example data 
    Just use =NuSMV {yourexamplefile.smv}=
+
+** Examples used in the paper 
+   | Name in paper   | Make target                           |
+   |-----------------+---------------------------------------|
+   | bcc1-resource1j | bcc1_resource1j                       |
+   | bcc1-sse1c      | bcc1_sse1c                            |
+   | ecc1-bt1g       | ecc1_bt1g                             |
+   | ecc1-event1e    | ecc1_event1e                          |
+   | bcc1-isr2d      | bcc1_isr2d                            |
+   | timing-abcomp   | bench-timing-aborted_computation      |
+   | copter-small    | bench-coptermock-without-alarms-small |
+   | copter          | bench-coptermock-without-alarms       |
+