how-to-setup.md

+Installation
+============================================================
+
+In this section we describe how the SDK4ED Dependability Toolbox can be installed and set up on your local machine. 
\ No newline at end of file