Verteilte statische Analyse zur Identifikation von kritischen Datenflüssen für vernetzte Automatisierungs- und Produktionssysteme
F. Ghassemi, M. Meyer, U. Pohlmann, C. Priesterjahn, (2017).