Verification and Validation of a Cyber-Physical System in the Automotive Domain. - Eun-Young Kang 001; Dongrui Mu; Li Huang 001; Qianqing Lan (QRS Companion, 2017)

Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System. - Eun-Young Kang 001; Dongrui Mu; Li Huang 001; Qianqing Lan (QRS Companion, 2017)

Model-based Verification and Validation of an Autonomous Vehicle System. - Eun-Young Kang 001; Dongrui Mu; Li Huang 001; Qianqing Lan (CoRR, 2018)