@inproceedings{4877,
  author       = {{Ehrlich, Marco and Benk, Stefan and Harder, Dimitri and Kleen, Philip and Trsek, Henning and Schriegel, Sebastian and Jasperneite, Jürgen}},
  title        = {{{Automatische Bewertung und Überwachung von Safety & Security Eigenschaften – Strukturierung und Ausblick}}},
  year         = {{2020}},
}