2004 The University of Auckland New Zealand SOFTWARE ENGINEERING Formalizing and Analyzing Feature models in Alloy Jing Sun Computer Science [email protected].