Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.
Elvira AlbertFrank S. de BoerReiner HähnleEinar Broch JohnsenRudolf SchlatteSilvia Lizeth Tapia TarifaPeter Y. H. WongPublished in: Serv. Oriented Comput. Appl. (2014)