The hazard analysis profile: Linking safety analysis and SysML | IEEE Conference Publication | IEEE Xplore