Johan Blom Formalisation of Requirements with Emphasis on Feature Interaction Detection. 61-77 1997 conf/fiw/1997 FIW db/conf/fiw/fiw1997.html#Blom97