K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, Feature-oriented domain analysis (FODA) feasibility study, 1990.

I. Schaefer, L. Bettini, F. Damiani, and N. Tanzarella, Delta-Oriented Programming of Software Product Lines, Proc. Software product lines: going beyond. SPLC'10, pp.77-91, 2010.
DOI : 10.1007/978-3-642-15579-6_6

C. Ebert and C. Jones, Embedded Software: Facts, Figures, and Future, Computer, vol.42, issue.4, pp.42-52, 2009.
DOI : 10.1109/MC.2009.118

D. Bruns, V. Klebanov, and I. Schaefer, Verification of Software Product Lines with Delta-Oriented Slicing, Proc. Formal verification of object-oriented software. FoVeOOS'10, pp.61-75, 2011.
DOI : 10.1109/TSE.1984.5010248

T. Thüm, I. Schaefer, M. Hentschel, and S. Apel, Family-based deductive verification of software product lines, Proceedings of the 11th International Conference on Generative Programming and Component Engineering, GPCE '12, pp.11-20, 2012.
DOI : 10.1145/2371401.2371404

R. Hähnle and I. Schaefer, A Liskov principle for delta-oriented programming, Proc. Leveraging Applications of Formal Methods, Verification and Validation. ISoLA'12, pp.32-46, 2012.

F. Damiani, O. Owe, J. Dovland, I. Schaefer, E. B. Johnsen et al., A transformational proof system for delta-oriented programming, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.53-60, 2012.
DOI : 10.1145/2364412.2364422

A. Classen, P. Heymans, P. Y. Schobbens, A. Legay, and J. F. Raskin, Model checking <u>lots</u> of systems, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.10-335, 2010.
DOI : 10.1145/1806799.1806850

M. Sirjani, A. Movaghar, A. Shali, and F. S. De-boer, Modeling and verification of reactive systems using Rebeca, Fundam. Inf, vol.63, issue.4, pp.385-410, 2004.

D. Clarke, N. Diakov, R. Hähnle, E. B. Johnsen, I. Schaefer et al., Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language, In: SFM, pp.417-457, 2011.
DOI : 10.1007/978-3-642-21455-4_13

R. Research, Afra integrated verification environment for Rebeca

M. Plath and M. Ryan, Feature integration using a feature construct, Science of Computer Programming, vol.41, issue.1, pp.53-84, 2001.
DOI : 10.1016/S0167-6423(00)00018-6
URL : http://doi.org/10.1016/s0167-6423(00)00018-6

K. G. Larsen, U. Nyman, and A. Wasowski, Modal I/O Automata for Interface and Product Line Theories, Proc. European Symposium on Programming. ESOP'07, pp.64-79, 2007.
DOI : 10.1007/978-3-540-71316-6_6
URL : http://vbn.aau.dk/ws/files/16109957/ESOP2007withappendix.pdf

H. Sabouri and R. Khosravi, An effective approach for verifying product lines in presence of variability models, Proc. Software product lines, pp.113-120, 2010.

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

A. Gruler, M. Leucker, and K. Scheidemann, Modeling and Model Checking Software Product Lines, Proc. Formal Methods for Open Object-Based Distributed Systems. FMOODS '08, pp.113-131, 2008.
DOI : 10.1007/978-3-540-68863-1_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.5754

R. Muschevici, D. Clarke, and J. Proença, Feature Petri Nets, Proc. Software product lines, pp.99-106, 2010.

A. Classen, M. Cordy, P. Heymans, A. Legay, and P. Y. Schobbens, Model checking software product lines with SNIP, International Journal on Software Tools for Technology Transfer, vol.41, issue.1, pp.1-24, 2012.
DOI : 10.1007/s10009-012-0234-1
URL : https://hal.archives-ouvertes.fr/hal-00717956

D. Clarke, M. Helvensteijn, and I. Schaefer, Abstract delta modeling, Proc. Generative programming and component engineering, pp.10-13, 2010.
DOI : 10.1145/1942788.1868298
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.172.7384

M. M. Jaghoori, M. Sirjani, M. R. Mousavi, E. Khamespanah, and A. Movaghar, Symmetry and partial order reduction techniques in model checking Rebeca, Acta Informatica, vol.9, issue.2, pp.33-66, 2010.
DOI : 10.1007/s00236-009-0111-x