Design and Analysis of Cloud-Based Architectures with KLAIM and Maude | Publicación