Collision Analysis of Safety Devices to Prevent Hazards in Safety Critical Systems | IEEE Conference Publication | IEEE Xplore