add list of experiments

README.md

@@ -26,6 +26,15 @@ In order to reproduce the results, the command to be executed is the following :
 
 Below we show some case studies.
 
+- [Forestalling a software release (forestall)](#forestalling-a-software-release-forestall)
+- [Obtain admin privileges (gain-admin)](#obtain-admin-privileges-gain-admin)
+- [Interrupted](#interrupted)
+- [Compromise IoT device (iot-dev)](#compromise-iot-device-iot-dev)
+- [Last](#last)
+- [Example from [5]](#example-from-5)
+- [Treasure Hunters](#treasure-hunters)
+- [Scaling Example](#scaling-example)
+
 ### Forestalling a software release (forestall)
 
 This model is based on a real-world instance [1]. It models an attack
@@ -50,7 +59,7 @@ physical access to an already logged-in console or remote access via
 privilege escalation (attacking SysAdmin). This case study [3] exhibits a
 mostly branching structure: all gates but one are disjunctions in the
 original tree of [3]. We enrich this scenario with the SAND gates of [2],
-and further add reactive defences
+and further add reactive defences.
 
 #### ADTree model