Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAAL. - Eun-Young Kang 001; Liu Ke 002; Meng-Zhe Hua; Yu-Xuan Wang (APSEC, 2015)