Modeling and verification of cyber-physical systems under uncertainty | IEEE Conference Publication | IEEE Xplore