Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking | IEEE Conference Publication | IEEE Xplore