Quantitative Timing Analysis for Cyber-Physical Systems Using Uncertainty-Aware Scenario-Based Specifications | IEEE Journals & Magazine | IEEE Xplore