Integrating the 3+1 SysML view model with safety engineering | IEEE Conference Publication | IEEE Xplore