Komponentenbasierte Überwachung hybrider Systeme durch den Einsatz formaler Methoden. - Leila Mekacher (2016)