Analysis of Feature Models Using Alloy: A Survey | Publicación