SafeDeML: On Integrating the Safety Design into the System Model. - Tim Gonschorek; Philipp Bergt; Marco Filax; Frank Ortmeier; Jan von Hoyningen-Hüne; Thorsten Piper (SAFECOMP, 2019)