Modeling and Provisioning IoT Cloud Systems for Testing Uncertainties. - Hong Linh Truong 001; Luca Berardinelli; Ivan Pavkovic; Georgiana Copil (MobiQuitous, 2017)