S. Ben-david, B. Sterin, J. M. Atlee, and S. Beidu, Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, pp.189-199, 2015.
DOI : 10.1109/ICSE.2015.40

U. Boker, K. Chatterjee, T. A. Henzinger, O. Kupferman3-]-p, T. A. Cern´ycern´y et al., Temporal specifications with accumulative values Simulation distances Quantitative abstraction refinement, POPL Henzinger, and A. Radhakrishna . Interface simulation distances, pp.1-2521, 2012.
DOI : 10.1109/lics.2011.33
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.1712

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

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

A. Classen, M. Cordy, P. Heymans, A. Legay, and P. Schobbens, Formal semantics, modular specification, and symbolic verification of product-line behaviour, Science of Computer Programming, vol.80
DOI : 10.1016/j.scico.2013.09.019

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

T. H. Cormen, C. Stein, R. L. Rivest, and C. E. Leiserson, Introduction to Algorithms, 2001.

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

U. Fahrenberg and A. Legay, The quantitative linear-time???branching-time spectrum, Theoretical Computer Science, vol.538, pp.54-69, 2014.
DOI : 10.1016/j.tcs.2013.07.030
URL : https://hal.archives-ouvertes.fr/hal-01087368

T. A. Henzinger, Quantitative reactive modeling and verification, Computer Science - Research and Development, vol.21, issue.4, pp.331-344, 2013.
DOI : 10.1007/s00450-013-0251-7
URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4811300

T. A. Henzinger and J. Otop, From Model Checking to Model Measuring, In CONCUR LNCS, vol.8052, pp.273-287, 2013.
DOI : 10.1007/978-3-642-40184-8_20

T. A. Henzinger and J. Sifakis, The Discipline of Embedded Systems Design, Computer, vol.40, issue.10, pp.32-40, 2007.
DOI : 10.1109/MC.2007.364

G. J. Holzmann, The SPIN Model Checker -primer and reference manual, 2004.
DOI : 10.1109/32.588521

R. Jain, The art of computer systems performance analysis, 1991.

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

R. M. Karp, A characterization of the minimum cycle mean in a digraph, Discrete Mathematics, vol.23, issue.1, pp.309-311, 1978.
DOI : 10.1016/0012-365X(78)90078-X

K. Lauenroth, K. Pohl, and S. Toehning, Model Checking of Domain Artifacts in Product Line Engineering, 2009 IEEE/ACM International Conference on Automated Software Engineering, pp.269-280, 2009.
DOI : 10.1109/ASE.2009.16

S. M. Shatz, J. Wang, and M. Goto, Task allocation for maximizing reliability of distributed computer systems, IEEE Transactions on Computers, vol.41, issue.9, pp.1156-1168, 1992.
DOI : 10.1109/12.165396

T. Thum, S. Apel, C. Kastner, 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

U. Zwick and M. Paterson, The complexity of mean payoff games on graphs, Theoretical Computer Science, vol.158, issue.1-2, pp.343-359, 1996.
DOI : 10.1016/0304-3975(95)00188-3