1. J. Bergstra, W. Bouma, Models for feature descriptions and interactions, in: Feature Interactions in Telecommunications IV, IOS Press, Amsterdam, 1996, pp. 31–45
2. J. Blom, R. Bol, L. Kempe, Automatic detection of feature interactions in temporal logic, in: Feature Interactions in Telecommunications III, IOS Press, Amsterdam, 1995, pp. 1–19
3. J. Blom, Formalisation of requirements with emphasis on feature interaction detection, in: Feature Interactions in Telecommunications IV, IOS Press, Amsterdam, 1996, pp. 61–77
4. M. Boström, M. Engstedt, Feature interaction detection and resolution in the delphi framework, in: Feature Interactions in Telecommunications III, IOS Press, Amsterdam, 1995, pp. 157–172
5. Symbolic model checking: 1020 states and beyond;Burch;Inform. and Comput.,1992