Christoph Dropmann, Eike Thaden, Mario Trapp, Denis Uecker, Rakshith Amarnath, Leandro Avila da Silva, Peter Munk, Markus Schweizer, Matthias Jung 0001, Rasmus Adler. A Model-Based Safety Analysis of Dependencies Across Abstraction Layers. In Barbara Gallina, Amund Skavhaug, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings. Volume 11093 of Lecture Notes in Computer Science, pages 73-87, Springer, 2018. [doi]