Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hüne, Thorsten Piper. SafeDeML: On Integrating the Safety Design into the System Model. In Alexander B. Romanovsky, Elena Troubitsyna, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings. Volume 11698 of Lecture Notes in Computer Science, pages 271-285, Springer, 2019. [doi]
Abstract is missing.