1 Introduction

2 Background
2.1 Related surveys
2.2 Benchmark feature model
2.3 Alloy semantics
2.4 Analysis operations

3 Review method

4 Evaluation
4.1 Formalization strategies
4.2 Goal of analysis
4.3 Degree of expressiveness
4.4 Efficiency of the analysis
4.5 Available tool support

5 Discussion
5.1 Alloy encoding and analysis of bCMS FM
5.2 Review summary

6 Challenges and Future Research

7 Conclusions