RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems. - Zhangtao Chen; Jing Liu 012; Xi Ding; Miaomiao Zhang 003 (APSEC, 2019)