Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems | IEEE Conference Publication | IEEE Xplore