Ghalya Alwhishi Jamal Bentahar Ahmed Elwhishi Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty. 173-180 2022 FiCloud https://doi.org/10.1109/FiCloud57274.2022.00031 conf/ficloud/2022 db/conf/ficloud/ficloud2022.html#AlwhishiBE22