Modeling and functional verification of autonomous emergency braking systems based on extended colored hybrid petri nets. - Haijing Ning; Herong Zhu; Yisheng An; Naiqi Wu; Yupeng Cao; Xiangmo Zhao (Simul. Model. Pract. Theory, 2025)