1. I. Aggoun, P. Combes, Observers in the SCE and the SEE to detect and resolve services interactions, in: Feature Interactions in Telecommunications Systems IV, IOS Press, Amsterdam, 1997
2. P.K. Au, J.M. Atlee, Evaluation of a state-based model of feature interactions, in: Feature Interactions in Telecommunications Systems IV, IOS Press, Amsterdam, 1997
3. The synchronous approach to reactive and real-time systems;Benveniste;Proceedings of the IEEE,1991
4. J. Blom, R. Bol, L. Kempe, Automatic detection of feature interactions in temporal logic, in: K.E. Cheng, T. Ohta (Eds.), Feature Interactions in Telecommunications Systems III, IOS Press, Amsterdam, 1995, pp. 1–20
5. P. Caspi, N. Halbwachs, D. Pilaud, J. Plaice, LUSTRE, a declarative language for programming synchronous systems, in: 14th Symposium on Principles of Programming Languages (POPL 87), Munich, ACM, 1987, pp. 178–188