Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAAL.

Eun-Young Kang, Liu Ke, Meng-Zhe Hua, Yu-Xuan Wang

Browse the full APSEC paper archive.