1. Feature-Oriented Software Product Lines: Concepts and Implementation;Apel,2013
2. Basic concepts and taxonomy of dependable and secure computing;Avizienis;Trans. Dependable and Secure Comput.,2004
3. Principles of Model Checking;Baier,2008
4. The goal question metric approach;Basili,1994
5. Automated reasoning on feature models;Benavides,2005