Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking | IEEE Journals & Magazine | IEEE Xplore