Daehui Jeong, Anit Thapaliya, Gihwon Kwon. A Case Study of Hierarchical Safety Analysis for Eliciting Traceable Safety Requirements. In James Jong Hyuk Park, Shu-Ching Chen, Kim-Kwang Raymond Choo, editors, Advanced Multimedia and Ubiquitous Engineering - MUE/FutureTech 2017, Seoul, Korea, 22-24 May 2017. Volume 448 of Lecture Notes in Electrical Engineering, pages 474-480, 2017. [doi]