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

J. M. Atlee, U. Fahrenberg, and A. L. Formalise, Measuring Behaviour Interactions between Product-Line Features, 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, pp.20-25, 2015.
DOI : 10.1109/FormaliSE.2015.11
URL : https://hal.archives-ouvertes.fr/hal-01088160

S. Beidu, J. M. Atlee, and P. Shaker, Incremental and Commutative Composition of State-Machine Models of Features, 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering, pp.13-18, 2015.
DOI : 10.1109/MiSE.2015.10

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.
DOI : 10.1007/s10703-006-0002-5

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, P. Heymans, P. Schobbens, and A. Legay, ProVeLines, Proceedings of the 17th International Software Product Line Conference co-located workshops on, SPLC '13 Workshops, pp.141-146, 2013.
DOI : 10.1145/2499777.2499781
URL : https://hal.archives-ouvertes.fr/hal-00931670

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

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

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 and J. M. Atlee, 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