Quantitative Timing Analysis for Cyber-Physical Systems Using Uncertainty-Aware Scenario-Based Specifications. - Ming Hu 003; Wenxue Duan; Min Zhang 002; Tongquan Wei; Mingsong Chen 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)