Document added

README.md

@@ -1,4 +1,4 @@
-# A2 OS
+# A2 OS
 
 
 # Related documents
@@ -18,6 +18,8 @@
 
 2011: [Felix Friedrich, Florian Negele. A Compiler-Supported Unification of Static and Dynamic Loading](http://people.inf.ethz.ch/felixf/pdfs/2011_UnifiedStaticDynamicLoading.pdf) [PDF](Docs/2011_UnifiedStaticDynamicLoading.pdf)
 
+2013: [Daniel Keller. Paradigms and tools for developing dependable realtime software](https://www.research-collection.ethz.ch/handle/20.500.11850/72867) [PDF](Docs/2013_DevelopingDependableRealtimeSoftware.pdf)
+
 2014: [Florian Negele. Combining Lock-Free Programming with Cooperative Multitasking for a Portable Multiprocessor Runtime System](https://www.research-collection.ethz.ch/handle/20.500.11850/154828) [PDF](Docs/2014_LockFreeProgramming.pdf)
 
 2016: [Florian Negele, Felix Friedrich, Suwon Oh, Bernhard Egger. On the Design and Implementation of an Efficient Lock-Free Scheduler](http://people.inf.ethz.ch/felixf/pdfs/2016_JSSP_OnTheDesignOfALockFreeScheduler.pdf) [PDF](Docs/2016_OnTheDesignOfALockFreeScheduler.pdf)