J. Mcgregor, Testing a software product line, 2001.

K. Kang, S. Cohen, J. Hess, W. Novak, and A. Peterson, Feature-Oriented Domain Analysis (FODA) feasibility study, 1990.

M. Griss and J. Favaro, Integrating feature modeling with the RSEB, 5th International Conference on Software Reuse, ICSR'98, pp.76-85, 1998.

K. Kollu, Evaluating the pluss domain modeling approach by modeling the arcade game maker product line, 2005.

M. Eriksson, J. Borstler, and K. Borg, The pluss approach -domain modeling with features, use cases and use case realizations, 9th International Conference on Software Product Lines, SPLC'06, pp.33-44, 2006.

S. Nakajima, Semi-automated diagnosis of foda feature diagram, 25th ACM Symposium on Applied Computing, SAC'10, pp.2191-2197, 2010.

Y. Bontemps, P. Heymans, P. Schobbens, and J. Trigaux, Semantics of FODA feature diagrams, 1st Workshop on Software Variability Management for Product Derivation -Towards Tool Support, SPLCW'04, pp.48-58, 2004.

C. Andrés, C. Camacho, and L. Llana, A formal framework for software product lines, Information & Software Technology, vol.55, issue.11, pp.1925-1947, 2013.

J. C. Baeten and M. Bravetti, A ground-complete axiomatisation of finitestate processes in a generic process algebra, Mathematical Structures in Computer Science, vol.18, issue.6, pp.1057-1089, 2008.

J. Sun, H. Zhang, and H. Wang, Formal semantics and verification for feature modeling, 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS'05, pp.303-312, 2005.

P. Höfner, R. Khédri, and B. Möller, Feature algebra, 14th International Symposium on Formal Methods, FM'06, ser, vol.4085, pp.300-315, 2006.

, An algebra of product families, Software and System Modeling, vol.10, issue.2, pp.161-182, 2011.

M. Mannion, Using first-order logic for product line model validation, 2nd International Software Product Line Conference, SPLC'02, pp.176-187, 2002.

K. Czarnecki and A. Wasowski, Feature diagrams and logics: There and back again, 11th International Software Product Line Conference, SPLC'07, pp.23-34, 2007.

P. Asirelli, M. H. Ter-beek, S. Gnesi, and A. Fantechi, A deontic logical framework for modelling product families, 4th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS'10, pp.37-44, 2010.

P. Asirelli, M. H. Ter-beek, A. Fantechi, and S. Gnesi, A logical framework to deal with variability, 8th Int. Conf. on Integrated Formal Methods, IFM'10, pp.43-58, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00525109

J. Nummenmaa, T. Nummenmaa, and Z. Zhang, Knowledge Engineering and Management, ser. Advances in Intelligent Systems and Computing, vol.214, pp.531-541, 2014.

C. Camacho, L. Llana, and A. Núñez, Cost-related interface for software product lines, Journal of Logical and Algebraic Methods in Programming, vol.85, pp.227-244, 2016.

S. Segura, J. A. Galindo, D. Benavides, J. A. Parejo, and A. Ruiz-cortés, Betty: Benchmarking and testing on the automated analysis of feature models, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, ser. VaMoS '12, pp.63-71, 2012.

R. M. Hierons and M. G. Merayo, Mutation testing from probabilistic and stochastic finite state machines, Journal of Systems and Software, vol.82, issue.11, pp.1804-1818, 2009.

M. E. Andrés, C. Palamidessi, P. V. Rossum, and A. Sokolova, Information hiding in probabilistic concurrent systems, Theoretical Computer Science, vol.412, issue.28, pp.3072-3089, 2011.

A. Sokolova, Probabilistic systems coalgebraically: A survey, Theoretical Computer Science, vol.412, issue.38, pp.5095-5110, 2011.

R. M. Hierons and M. Núñez, Using schedulers to test probabilistic distributed systems, Formal Aspects of Computing, vol.24, issue.4-6, pp.679-699, 2012.

Y. Deng, R. V. Glabbeek, M. Hennessy, and C. Morgan, Real-reward testing for probabilistic processes, Theoretical Computer Science, vol.538, pp.16-36, 2014.

P. R. D'argenio, D. Gebler, and M. D. Lee, A general SOS theory for the specification of probabilistic transition systems, Information and Computation, vol.249, pp.76-109, 2016.

C. Dubslaff, C. Baier, and S. Klüppelholz, Probabilistic Model Checking for Feature-Oriented Systems, pp.180-220, 2015.

M. Bravetti, Reduction semantics in markovian process algebra, J. Log. Algebr. Meth. Program, vol.96, pp.41-64, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01921194

M. Cordy, P. Heymans, P. Schobbens, A. M. Sharifloo, C. Ghezzi et al., Verification for reliable product lines, CoRR, 2013.

M. H. Ter-beek, A. Legay, A. Lluch-lafuente, and A. Vandin, Quantitative analysis of probabilistic models of software product lines with statistical model checking, Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, vol.182, pp.56-70, 2015.

, Statistical analysis of probabilistic models of software product lines with quantitative constraints, Proceedings of the 19th International Conference on Software Product Line, ser. SPLC '15, pp.11-15, 2015.

X. Devroey, G. Perrouin, M. Cordy, H. Samih, A. Legay et al., Statistical prioritization for software product line testing: an experience report, Software & Systems Modeling, vol.16, issue.1, pp.153-171, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01642289

L. De-moura and N. Bjorner, Z3: An efficient smt solver, Tools and Algorithms for the Construction and Analysis of Systems, pp.337-340, 2008.

S. Sebastio and A. Vandin, Multivesta: Statistical model checking for discrete event simulators, Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, ser. ValueTools '13. ICST, pp.310-315, 2013.

M. Varshosaz and R. Khosravi, Discrete time markov chain families: Modeling and verification of probabilistic software product lines, Proceedings of the 17th International Software Product Line Conference Co-located Workshops, pp.34-41, 2013.

M. F. Johansen, O. Haugen, and F. Fleurey, Properties of realistic feature models make combinatorial testing of product lines feasible, Proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, ser. MODELS'11, pp.638-652, 2011.

M. F. Johansen, O. Haugen, F. Fleurey, A. G. Eldegard, and T. Syversen, Generating better partial covering arrays by modeling weights on sub-product lines, Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, ser. MODELS'12, pp.269-284, 2012.

M. B. Cohen, M. B. Dwyer, and J. Shi, Coverage and adequacy in software product line testing, Workshop on Role of software architecture for testing and analysis, ROSATEA'06, pp.53-63, 2006.

D. Fischbein, S. Uchitel, and V. Braberman, A foundation for behavioural conformance in software product line architectures, Workshop on Role of software architecture for testing and analysis, ROSATEA'06, pp.39-48, 2006.

P. Chrszon, C. Dubslaff, S. Klüppelholz, and C. Baier, Profeat: feature-oriented engineering for family-based probabilistic model checking, Formal Aspects of Computing, vol.30, issue.1, pp.45-75, 2018.

M. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of probabilistic real-time systems, Proc. 23rd International Conference on Computer Aided Verification (CAV'11), ser, vol.6806, pp.585-591, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648035

P. D'argenio, H. Hermanns, and J. Katoen, On generative parallel composition, Workshop on Probabilistic Methods in Verification, PROBMIV'98, ENTCS 22, pp.30-54, 1999.

J. Hillston, A Compositional Approach to Performance Modelling, 1996.

M. Bravetti, M. Carbone, and G. Zavattaro, On the boundary between decidability and undecidability of asynchronous session subtyping, Theor. Comput. Sci, vol.722, pp.19-51, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01921168

F. S. De-boer, M. Bravetti, M. D. Lee, and G. Zavattaro, A petri net based modeling of active objects and futures, Fundam. Inform, vol.159, issue.3, pp.197-256, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01919136

M. Bravetti, M. Carbone, and G. Zavattaro, Undecidability of asynchronous session subtyping, Inf. Comput, vol.256, pp.300-320, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01637935

D. Ancona, V. Bono, M. Bravetti, J. Campos, G. Castagna et al., Behavioral types in programming languages, Foundations and Trends in Programming Languages, vol.3, issue.2-3, pp.95-230, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01348054

M. Bravetti and G. Zavattaro, On the expressive power of process interruption and compensation, Mathematical Structures in Computer Science, vol.19, issue.3, pp.565-599, 2009.

M. Bravetti, I. Lanese, and G. Zavattaro, Revised Selected Papers, ser. Lecture Notes in Computer Science, Trustworthy Global Computing, 4th International Symposium, vol.5474, pp.1-18, 2008.