Simplifying the Analysis of Software Design Variants with a Colorful Alloy Artigo de Conferência Capítulo de livro