M. Acher, P. Collet, P. Lahire, and R. B. France, FAMILIAR: A domain-specific language for large scale management of feature models, Science of Computer Programming, vol.78, issue.6, pp.78-2013
DOI : 10.1016/j.scico.2012.12.004
URL : https://hal.archives-ouvertes.fr/hal-00767175

D. Benavides, S. Segura, and A. Ruiz-cortes, Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, 2010.
DOI : 10.1016/j.is.2010.01.001

A. Boudjadar, A. David, J. H. Kim, K. G. Larsen, M. Mikucionis et al., Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal, Proc. of FACS, pp.61-78, 2013.
DOI : 10.1007/978-3-319-07602-7_6

M. Cordy, P. Schobbens, P. Heymans, and A. Legay, Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features, 2013 35th International Conference on Software Engineering (ICSE), pp.472-481, 2013.
DOI : 10.1109/ICSE.2013.6606593
URL : https://hal.archives-ouvertes.fr/hal-01087792

V. Ganesh, Decision Procedures for Bit-vectors, Arrays and Integers, 2007.

K. Kang and H. Lee, Variability Modeling, Syst. and Software Variability Manage, pp.25-42
DOI : 10.1007/978-3-642-36583-6_2

H. Sabouri, M. Jaghoori, F. De-boer, and R. Khosravi, Scheduling and Analysis of Real-Time Software Families, 2012 IEEE 36th Annual Computer Software and Applications Conference, pp.680-689, 2012.
DOI : 10.1109/COMPSAC.2012.95

T. Thüm, S. Apel, C. Kästner, I. Schaefer, and G. Saake, A Classification and Survey of Analysis Strategies for Software Product Lines, ACM Computing Surveys, vol.47, issue.1, pp.1-6, 2014.
DOI : 10.1145/2580950