A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications | IEEE Conference Publication | IEEE Xplore