Titre :
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems