Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments. - Imene Ben Hafaiedh; Maroua Ben Slimane; Sourour Haouala; Riadh Robbana (AICCSA, 2017)