The hazard analysis profile: Linking safety analysis and SysML. - Martina Muller; Michael Roth 007; Udo Lindemann (SysCon, 2016)