A Model-Based Safety Analysis of Dependencies Across Abstraction Layers. - Christoph Dropmann; Eike Thaden; Mario Trapp; Denis Uecker; Rakshith Amarnath; Leandro Avila da Silva; Peter Munk; Markus Schweizer; Matthias Jung 001; Rasmus Adler (SAFECOMP, 2018)