An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications. - Helene Jouve; Pascale Le Gall; Sophie Coudert (FIW, 2005)