1. Astesiano, E., Reggio, G.: Labelled Transition Logic: An Outline. Technical Report DISI-TR-96-20, DISI - Università di Genova, Italy (1996)
2. Astesiano, E., Reggio, G.: Feature Interaction: Prevention Is Better than Detection: A Formal Modular Support for Feature Specification and Interaction Handling. Technical Report DISI-TR-98-14, DISI - Università di Genova, Italy (1998)
3. Blom, J., Bol, R., Kempe, L.: Automatic Detection of Feature Interactions in Temporal Logic. Technical Report 95/61, Department of Computer Systems, Uppsala University (1995)
4. Bredereke, J.: Formal Criteria for Feature Interactions in Telecommunications Systems. In: Norgaard, J., Iversen, V.B. (eds.) Intelligent Networks and New Technologies. Chapman & Hall, Boca Raton (1996)
5. Faci, M., Logrippo, L.: Specifying Features and Analyzing their Interactions in a LOTOS Environment. In: Bouma, L.G., Velthuijsen, H. (eds.) Feature Interactions in Telecommunications Systems (Proc. of the 2nd International Workshop on Feature Interactions in Telecommunications Systems, Amsterdam), pp. 136–151. IOS Press, Amsterdam (1994)