TY  - RPRT
TI  - Analysis of Feature Models Using Alloy: A Survey
AU  - Anjali Sree-Kumar
AU  - Elena Planas
AU  - Robert Clarisó
PY  - 2016
DO  - 10.4204/eptcs.206.5
UR  - https://arxiv.org/abs/1604.00349
ID  - 1604.00349
ER  -