Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments | IEEE Conference Publication | IEEE Xplore