A. Pretschner, M. Broy, I. H. Kruger, and T. Stauner, Software engineering for automotive systems: A roadmap, 2007 Future of Software Engineering, ser. FOSE '07, pp.55-71, 2007.

M. Broy, S. Chakraborty, D. Goswami, S. Ramesh, M. Satpathy et al., Cross-layer analysis, testing and verification of automotive control software, Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, pp.263-272, 2011.

M. Broy, Challenges in automotive software engineering, 28th International Conference on Software Engineering (ICSE 2006), pp.33-42, 2006.

F. Balarin, Hardware-software co-design of embedded systems: the POLIS approach, 1997.

B. Kienhuis, E. Deprettere, K. Vissers, P. Van-der, and . Wolf, An approach for quantitative analysis of application-specific dataflow architectures," in Application-Specific Systems, Architectures and Processors, 1997. Proceedings, pp.338-349, 1997.

E. Khalilov, J. Ross, M. Antkiewicz, M. Völter, and K. Czarnecki, Modeling and optimizing automotive electric/electronic (e/e) architectures: Towards making clafer accessible to practitioners, International Symposium on Leveraging Applications of Formal Methods, pp.447-464, 2016.

J. A. Ross, A. Murashkin, J. H. Liang, M. Antkiewicz, and K. Czarnecki, Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems, Software & Systems Modeling, pp.1-29, 2017.

J. Guo, D. Yang, N. Siegmund, S. Apel, A. Sarkar et al., Data-efficient performance learning for configurable systems, Empirical Software Engineering, pp.1-42, 2017.

Y. Zhang, J. Guo, E. Blais, and K. Czarnecki, Performance prediction of configurable software systems by fourier learning (t), 30th IEEE/ACM International Conference on, pp.365-373, 2015.

N. Siegmund, M. Rosenmüller, M. Kuhlemann, C. Kästner, S. Apel et al., Spl conqueror: Toward optimization of non-functional properties in software product lines, Software Quality Journal, vol.20, issue.3-4, pp.487-517, 2012.

N. Siegmund, A. Grebhahn, S. Apel, and C. Kästner, Performanceinfluence models for highly configurable systems, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pp.284-294, 2015.

P. Jamshidi, N. Siegmund, M. Velez, C. Kästner, A. Patel et al., Transfer learning for performance modeling of configurable systems: An exploratory analysis, Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ser. ASE 2017, pp.497-508, 2017.

P. Valov, J. Petkovich, J. Guo, S. Fischmeister, and K. Czarnecki, Transferring performance prediction models across different hardware platforms, Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, pp.39-50, 2017.

R. Olaechea, S. Stewart, K. Czarnecki, and D. Rayside, Modelling and multi-objective optimization of quality attributes in variability-rich software, Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, ser. NFPinDSML '12, vol.2, pp.1-2, 2012.

E. Zulkoski, C. Kleynhans, M. Yee, D. Rayside, K. Czarnecki-;-b et al., Optimizing alloy for multi-objective software product line configuration, Proceedings of the 4th International Conference on Abstract State Machines, vol.8477, pp.328-333, 2014.

R. Olaechea, D. Rayside, J. Guo, and K. Czarnecki, Comparison of exact and approximate multi-objective optimization for software product lines, SPLC '14, pp.92-101, 2014.

S. Kugele and G. Pucea, Model-based optimization of automotive e/earchitectures, Proceedings of CSTVA 2014, pp.18-29, 2014.

C. Henard, M. Papadakis, M. Harman, and Y. Le-traon, Combining multi-objective search and constraint solving for configuring large software product lines, Proceedings of ICSE '15, pp.517-528, 2015.

R. Olaechea, U. Fahrenberg, J. M. Atlee, and A. Legay, Long-term average cost in featured transition systems, Proceedings of the 20th International Systems and Software Product Line Conference, ser. SPLC '16, pp.109-118, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01406541

,

P. Asirelli, M. H. Ter-beek, S. Gnesi, and A. Fantechi, Formal description of variability in product families, Software Product Line Conference (SPLC), pp.130-139, 2011.

M. Chechik, B. Devereux, S. M. Easterbrook, and A. Gurfinkel, Multivalued symbolic model-checking, ACM Trans. Softw. Eng. Methodol, vol.12, issue.4, pp.371-408, 2003.

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.

S. Lazreg, P. Collet, and S. Mosser, Assessing the functional feasibility of variability-intensive data flow-oriented systems, Symposium on Applied Computing, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01660057

M. Cordy, P. Schobbens, P. Heymans, and A. Legay, Behavioural modelling and verification of real-time software product lines, Proceedings of the 16th International Software Product Line Conference, vol.1, pp.66-75, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00718157

G. Cledou, J. Proença, and L. Barbosa, Composing families of timed automata, Fundamentals of Software Engineering, pp.51-66, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01760866

L. Luthmann, A. Stephan, J. Bürdek, and M. Lochau, Modeling and testing product lines with unbounded parametric real-time constraints, Proceedings of the 21st International Systems and Software Product Line Conference, pp.104-113, 2017.

V. Nunes, P. Fernandes, V. Alves, and G. N. Rodrigues, Variability management of reliability models in software product lines: An expressiveness and scalability analysis, SBCARS '12, pp.51-60, 2012.

G. N. Rodrigues, V. Alves, V. Nunes, A. Lanna, M. Cordy et al., Modeling and verification for probabilistic properties in software product lines, 16th IEEE International Symposium on High Assurance Systems Engineering, pp.173-180, 2015.

R. Olaechea, J. Atlee, A. Legay, and U. Fahrenberg, Trace checking for dynamic software product lines, Proceedings of the 13th International Conference on Software Engineering for Adaptive and SelfManaging Systems, ser. SEAMS '18, pp.69-75, 2018.

G. Behrmann, K. G. Larsen, and J. I. Rasmussen, Priced timed automata: Algorithms and applications, International Symposium on Formal Methods for Components and Objects, pp.162-182, 2004.

P. Bouyer, F. Cassez, E. Fleury, and K. G. Larsen, Optimal strategies in priced timed game automata, International Conference on Foundations of Software Technology and Theoretical Computer Science, pp.148-160, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00350483

G. Behrmann, K. G. Larsen, and J. I. Rasmussen, Optimal scheduling using priced timed automata, ACM SIGMETRICS Performance Evaluation Review, vol.32, issue.4, pp.34-40, 2005.

N. Bertrand, S. Pinchinat, and J. Raclet, Refinement and consistency of timed modal specifications, International Conference on Language and Automata Theory and Applications, pp.152-163, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00424283

F. Cassez, P. G. De-aledo, and P. G. Jensen, Wuppaal: Computation of worst-case execution-time for binary programs with uppaal, Models, Algorithms, Logics and Tools, pp.560-577, 2017.

J. Liebig, S. Apel, C. Lengauer, and T. Leich, Robbydbms: a case study on hardware/software product line engineering, Proceedings of the First International Workshop on Feature-Oriented Software Development, pp.63-68, 2009.

T. Fischer, C. Kollner, M. Hardle, and K. D. Muller-glaser, Product line development for modular fpga-based embedded systems, 25th IEEE International Symposium on, pp.9-15, 2014.

C. Brink, E. Kamsties, M. Peters, and S. Sachweh, On hardware variability and the relation to software variability, Software Engineering and Advanced Applications (SEAA), 2014 40th EUROMICRO Conference on, pp.352-355, 2014.

D. Streitferdt, P. Sochos, C. Heller, and I. Philippow, Configuring embedded system families using feature models, Proc. of Net. ObjectDays, pp.339-350, 2005.

R. Adler, I. Schaefer, T. Schuele, and E. Vecchié, From model-based design to formal verification of adaptive embedded systems, Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering, ser. Proceedings of ICFEM '07, pp.76-95, 2007.

R. Adler, I. Schaefer, M. Trapp, and A. Poetzsch-heffter, Componentbased modeling and verification of dynamic adaptation in safety-critical embedded systems, ACM Trans. Embedded Comput. Syst, vol.10, issue.2, p.39, 2010.

P. Marwedel, Embedded system design: Embedded systems foundations of cyber-physical systems, 2010.

T. A. Henzinger and J. Sifakis, The embedded systems design challenge, International Symposium on Formal Methods, pp.1-15, 2006.

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity-the ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, pp.127-144, 2003.

A. Bakshi, V. K. Prasanna, and A. Ledeczi, Milan: A model based integrated simulation framework for design of embedded systems, ACM Sigplan Notices, vol.36, issue.8, pp.82-93, 2001.

A. Davare, D. Densmore, T. Meyerowitz, A. Pinto, A. Sangiovannivincentelli et al., A next-generation design framework for platform-based design, Conference on using hardware design and verification languages, vol.152, 2007.

T. Basten, E. Van-benthum, M. Geilen, M. Hendriks, F. Houben et al., Modeldriven design-space exploration for embedded systems: The octopus toolset, Leveraging Applications of Formal Methods, Verification, and Validation, pp.90-105, 2010.

A. D. Pimentel, C. Erbas, and S. Polstra, A systematic approach to exploring embedded system architectures at multiple abstraction levels, IEEE Transactions on Computers, vol.55, issue.2, pp.99-112, 2006.

M. Chadli, J. H. Kim, K. G. Larsen, A. Legay, S. Naujokat et al., High-level frameworks for the specification and verification of scheduling problems, International Journal on Software Tools for Technology Transfer, pp.1-26, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01613576

V. Sima and K. Bertels, Runtime decision of hardware or software execution on a heterogeneous reconfigurable platform, Parallel & Distributed Processing, pp.1-6, 2009.

K. Sigdel, M. Thompson, A. D. Pimentel, C. Galuzzi, and K. Bertels, System-level runtime mapping exploration of reconfigurable architectures, Parallel & Distributed Processing, pp.1-8, 2009.

G. Palermo, C. Silvano, and V. Zaccaria, Variability-aware robust design space exploration of chip multiprocessor architectures, Design Automation Conference, pp.323-328, 2009.

L. Schor, I. Bacivarov, D. Rai, H. Yang, S. Kang et al., Scenario-based design flow for mapping streaming applications onto on-chip many-core systems, Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems, pp.71-80, 2012.

P. Van-stralen and A. Pimentel, Scenario-based design space exploration of mpsocs, Computer Design (ICCD), 2010 IEEE International Conference on, pp.305-312, 2010.

S. Wildermann, F. Reimann, J. Teich, and Z. Salcic, Operational mode exploration for reconfigurable systems with multiple applications, Field-Programmable Technology (FPT), 2011 International Conference on, pp.1-8, 2011.

G. Palermo, C. Silvano, and V. Zaccaria, Robust optimization of soc architectures: A multi-scenario approach, Embedded Systems for Real-Time Multimedia, pp.7-12, 2008.

J. L. Noir, S. Madelénat, G. Gailliard, C. Labreuche, M. Acher et al., A decision-making process for exploring architectural variants in systems engineering, Proceedings of the 20th International Systems and Software Product Line Conference, pp.277-286, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01374140

S. Graf, M. Glaß, D. Wintermann, J. Teich, and C. Lauer, Ivam: Implicit variant modeling and management for automotive embedded systems, Hardware/Software Codesign and System Synthesis (CODES+ ISSS), 2013 International Conference on, pp.1-10, 2013.

S. Graf, S. Reinhart, M. Glaß, J. Teich, and D. Platte, , pp.1-6, 2015.

M. Lukasiewycz, F. Sagstetter, and S. Steinhorst, Efficient design space exploration of embedded platforms, Design Automation Conference (DAC), 2015 52nd ACM/EDAC/IEEE, pp.1-6, 2015.

U. Fahrenberg and A. Legay, Featured weighted automata, 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, pp.51-57, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01640074

G. Fleischanderl, G. E. Friedrich, A. Haselböck, H. Schreiner, and M. Stumptner, Configuring large systems using generative constraint satisfaction, IEEE Intelligent Systems, vol.13, issue.4, pp.59-68, 1998.

D. Sabin and R. Weigel, Product configuration frameworks-a survey, IEEE Intelligent Systems and their Applications, vol.13, issue.4, pp.42-49, 1998.

A. Hubaux, Y. Xiong, and K. Czarnecki, A user survey of configuration challenges in linux and ecos, VaMoS '12, pp.149-155, 2012.

M. Cordy, P. Schobbens, P. Heymans, and A. Legay, Beyond boolean product-line model checking: Dealing with feature attributes and multifeatures, ICSE'13, pp.472-481, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01087792

A. Felfernig, L. Hotz, C. Bagley, and J. Tiihonen, Knowledge-based Configuration: From Research to Business Cases, 2014.

P. C. Clements and L. Northrop, Software Product Lines: Practices and Patterns, ser. SEI Series in Software Engineering, 2001.

K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson, Featureoriented domain analysis (FODA) feasibility study, 1990.

D. Benavides, P. T. Martín-arroyo, and A. R. Cortés, Automated reasoning on feature models, Proceedings of CAiSE'05, pp.491-503, 2005.

J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and W. Yi, Uppaala tool suite for automatic verification of real-time systems, Hybrid Systems III, pp.232-243, 1996.

E. M. Clarke, O. Grumberg, and D. Peled, Model checking, 1999.

A. E. Dalsgaard, M. C. Olesen, M. Toft, R. R. Hansen, and K. G. Larsen, Metamoc: Modular execution time analysis using model checking, Schloss DagstuhlLeibniz-Zentrum fuer Informatik, vol.15, 2010.

M. Droste, W. Kuich, and H. Vogler, Handbook of Weighted Automata, 2009.

L. Comtet, Sperner Systems, 1974.

G. Behrmann, A. Fehnker, T. Hune, K. G. Larsen, P. Pettersson et al., Minimum-cost reachability for priced timed automata, Proceedings of HSCC '01, pp.147-161, 2001.

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 Comput. Surv, vol.47, issue.1, pp.1-6, 2014.

M. Mendonca, M. Branco, and D. Cowan, Splot: software product lines online tools, Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, pp.761-762, 2009.

M. Cordy, A. Classen, P. Heymans, P. Schobbens, and A. Legay, Provelines: a product line of verifiers for software product lines, Proceedings of the 17th International Software Product Line Conference co-located workshops, pp.141-146, 2013.

G. J. Holzmann, The SPIN Model Checker: Primer and Reference Manual, 2004.

A. Classen, Q. Boucher, and P. Heymans, A text-based approach to feature modelling: Syntax and semantics of tvl, Science of Computer Programming, vol.76, issue.12, pp.1130-1143, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00718291

P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems -An Approach to the State-Explosion Problem, ser, LNCS, vol.1032, 1996.

A. Murashkin, M. Antkiewicz, D. Rayside, and K. Czarnecki, Visualization and exploration of optimal variants in product line engineering, Proceedings of the 17th International Software Product Line Conference, pp.111-115, 2013.