Describing Software Specification by Combining SysML with the B Method. - Satoko Kinoshita; Hidekazu Nishimura; Hiroki Takamura; Daichi Mizuguchi (ISSRE Workshops, 2014)

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)