Collision Analysis of Safety Devices to Prevent Hazards in Safety Critical Systems. - Jang Jin Kwon; Doohwan Kim; Jae Jin Park; Jang-Eui Hong (SERE, 2014)

Collision detection and resolution of hazard prevention actions in safety critical systems. - Jang Jin Kwon; Jang-Eui Hong; Lawrence Chung (J. Syst. Softw., 2016)