SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach | Publicación