Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments. - Roua Ben Hamouda; Sabrine Boussema; Imene Ben Hafaiedh; Riadh Robbana (VECoS, 2018)