Helene Jouve Pascale Le Gall Sophie Coudert An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications. 131-146 2005 conf/fiw/2005 FIW db/conf/fiw/fiw2005.html#JouveGC05