Hazard analysis for safety-critical systems using SOFL | IEEE Conference Publication | IEEE Xplore