Automatic Analysis of Software Architectures with Variability | Publicación