Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS | Publicación