Li Huang, Eun-Young Kang: Work-in-Progress: Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems. RTSS 2019: 580-583