Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty | IEEE Conference Publication | IEEE Xplore