The creation of this document has been supported by the publicly funded R\&D project ``Josef Ressel Center for Verification of Embedded Computing Systems (VECS)'' managed by the Christian Doppler Gesellschaft (CDG).
\begin{center}
\leavevmode
%Insert image file name below "cc-by-sa.png"
\includegraphics[width=2.5cm]{cc-by-sa}
\label{fig:cc}\\
%insert a link to the licence and its description below
\scriptsize{This document is licensed under \href{http://creativecommons.org/licenses/by-sa/4.0/}{Creative Commons Attribution-ShareAlike 4.0 International License.}}