Abstract
This paper reports on ongoing work on a formal approach to the detection of feature interactions between IN-type features.
These features have been implemented on top of an IN architecture which is close to the "real" world.
The approach contains several threads: a description of an ideal interaction tool, a specific SDL model for the architecture, a proposal for a formal language to describe properties of features, and observations on how to put this property language to use.