Safety behavior abstraction and model evolution in autonomous driving. - Tan, Chao; Wang, Tiexin; Zhang, Man; Yue, Tao (Software & Systems Modeling, 2025)