Analysis of a driver and automated driving system interaction using a communicating sequential process. - Satoko Kinoshita; Sunkil Yun; Noriyasu Kitamura; Hidekazu Nishimura (ISSE, 2015)

Introduction of driver's delay into "model checking" for verification of safe interactions between a driver and an automated driving system. - Satoko Kinoshita; Hidekazu Nishimura; Sunkil Yun; Noriyasu Kitamura (ISSE, 2016)

Human-Machine Interface Design and Verification for an Automated Driving System Using System Model and Driving Simulator. - Sunkil Yun; Takaaki Teshima; Hidekazu Nishimura (IEEE Consumer Electron. Mag., 2019)