@Inproceedings{EPTCS206.5, author = {Sree-Kumar, Anjali and Planas, Elena and Claris\'o, Robert}, year = {2016}, title = {Analysis of Feature Models Using Alloy: A Survey}, editor = {Rubin, Julia and Th\"um, Thomas}, booktitle = {{\rm Proceedings 7th International Workshop on} Formal Methods and Analysis in Software Product Line Engineering, {\rm Eindhoven, The Netherlands, April 3, 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {206}, publisher = {Open Publishing Association}, pages = {46-60}, doi = {10.4204/EPTCS.206.5}, }