https://redundancy.webcms.tu-dresden.de/ing/informatik/sya/ps/ressourcen/dateien/news/16-09-06-Summerschool-4-systems.pdf?lang=de