S. Apel, W. Scholz, C. Lengauer, and C. Kästner, Detecting Dependences and Interactions in Feature-Oriented Design, 2010 IEEE 21st International Symposium on Software Reliability Engineering, pp.161-170, 2010.
DOI : 10.1109/ISSRE.2010.11

C. Baier and J. Katoen, Principles of model checking, 2008.

J. Blom, B. Jonsson, and I. Kempe, Using temporal logic for modular specificaition os telephone services, Proc. of Feature Interaction Workshop, pp.197-214, 1994.

M. Calder, M. Kolberg, E. H. Magill, and S. Reiff-marganiec, Feature interaction: a critical review and considered forecast, Computer Networks, vol.41, issue.1, pp.115-141, 2003.
DOI : 10.1016/S1389-1286(02)00352-3

M. Calder and A. Miller, Feature interaction detection by pairwise analysis of LTL properties -A case study Formal Methods in System Design, pp.213-261, 2006.

A. Classen, M. Cordy, P. Schobbens, P. Heymans, A. Legay et al., Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking, IEEE Transactions on Software Engineering, vol.39, issue.8, pp.1069-1089, 2013.
DOI : 10.1109/TSE.2012.86

M. Cordy, A. Classen, G. Perrouin, P. Schobbens, P. Heymans et al., Simulation-based abstractions for software product-line model checking, 2012 34th International Conference on Software Engineering (ICSE), pp.672-682
DOI : 10.1109/ICSE.2012.6227150
URL : https://hal.archives-ouvertes.fr/hal-01087659

A. L. Dominguez, Feature Interaction Detection in the Automotive Domain, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.521-524, 2008.
DOI : 10.1109/ASE.2008.97

U. Fahrenberg and A. Legay, General quantitative specification theories with modal transition systems, Acta Informatica, vol.806, issue.1, pp.261-295, 2014.
DOI : 10.1007/s00236-014-0196-8
URL : https://hal.archives-ouvertes.fr/hal-01087314

P. Gibson, Towards a feature interaction algebra, Proc. of Feature Interactions in Telecommunications and Software Systems V, pp.217-231, 1998.

P. K. Jayaraman, J. Whittle, A. M. Elkhodary, and H. Gomaa, Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis, MoDELS, pp.151-165, 2007.
DOI : 10.1007/978-3-540-75209-7_11

A. Khoumsi, Detection and resolution of interactions between services of telephone networks, Proc. of Feature Interaction Workshop IV, pp.78-82, 1997.

M. Kolberg, E. H. Magill, D. Marples, and S. Tsang, Feature interactions in services for Internet personal appliances, 2002 IEEE International Conference on Communications. Conference Proceedings. ICC 2002 (Cat. No.02CH37333), pp.2613-2618, 2002.
DOI : 10.1109/ICC.2002.997315

T. Laporta, D. Lee, Y. Lin, and M. Yannakakis, Protocol Feature Interactions, FORTE, pp.59-74, 1998.
DOI : 10.1007/978-0-387-35394-4_4

R. Milner, Communication and concurrency, ser. PHI Series in computer science, 1989.

M. Rinard, A. Salciam, and S. Bugrara, A classification system and analysis for aspect-oriented programs, Proc. of Foundations of Software Engineering (FSE), pp.147-158, 2004.

W. Scholz, T. Thüm, S. Apel, and C. Lengauer, Automatic detection of feature interactions using the Java modeling language, Proceedings of the 15th International Software Product Line Conference on, SPLC '11, p.7, 2011.
DOI : 10.1145/2019136.2019144

P. Shaker, A feature-oriented modelling language and a featureinteraction taxonomy for product-line requirements, 2013.

P. Shaker, J. M. Atlee, S. , S. Gnesi, A. Fantechi et al., Behaviour interactions among product-line features, Proceedings of the 18th International Software Product Line Conference on, SPLC '14, pp.242-246, 2014.
DOI : 10.1145/2648511.2648538

P. Shaker, J. M. Atlee, and S. Wang, A feature-oriented requirements modelling language, 2012 20th IEEE International Requirements Engineering Conference (RE), pp.151-160, 2012.
DOI : 10.1109/RE.2012.6345799