P. A. Abdulla, J. Deneux, G. Stalmarck, H. Agren, and O. Akerlund, Designing Safe, Reliable Systems Using Scade, Proceedings of the 1 st International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2004.
DOI : 10.1007/11925040_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.4162

M. Bozzano and A. Villafiorita, Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform, Proceedings of the 22 nd International Conference on Computer Safety, Reliability and Security, pp.49-62, 2003.
DOI : 10.1007/978-3-540-39878-3_5

K. Miettinen, Some methods for nonlinear multi-objective optimization , " in Evolutionary Multi-Criterion Optimization, ser. Lecture Notes in Computer Science, pp.1-20, 1993.

M. Güdemann and F. Ortmeier, Model-Based Multi-objective Safety Optimization, Proceedings of the 30 th International Conference on Computer Safety, Reliability and Security, pp.423-436, 2011.
DOI : 10.1007/3-540-48249-0_13

M. Güdemann and F. Ortmeier, A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, pp.132-141, 2010.
DOI : 10.1109/HASE.2010.24

M. Güdemann and F. Ortmeier, Towards model-driven safety analysis, 2011 3rd International Workshop on Dependable Control of Discrete Systems, pp.53-58, 2011.
DOI : 10.1109/DCDS.2011.5970318

G. Norman, D. Parker, and M. Kwiatkowska, ) The PRISM language -semantics, 2010.

L. De-alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, Model checking discounted temporal properties, Theoretical Computer Science, vol.345, issue.1, pp.139-170, 2005.
DOI : 10.1016/j.tcs.2005.07.033

M. Güdemann, F. Ortmeier, and W. Reif, Computing ordered minimal critical sets, Proceedings of the 7 th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, 2008.

F. Ortmeier, M. Güdemann, and W. Reif, FORMAL FAILURE MODELS, Proceedings of the 1 st IFAC Workshop on Dependable Control of Discrete Systems, 2007.
DOI : 10.3182/20070613-3-FR-4909.00027

H. Hansson and B. Jonsson, A logic for reasoning about time and reliability, Formal Aspects of Computing, vol.2, issue.1, pp.102-111, 1994.
DOI : 10.1007/BF01211866

M. Güdemann and F. Ortmeier, Probabilistic Model-Based Safety Analysis, Proceedings of the 8 th Workshop on Quantitative Aspects of Programming Languages, pp.114-128, 2010.
DOI : 10.4204/EPTCS.28.8

T. Parr, The Definitive ANTLR Reference: Building Domain-Specific Languages, ser. Pragmatic Programmers. Pragmatic Bookshelf, 2007.

K. Deb, A. Pratap, S. Agarwal, and T. Meyarivan, A fast and elitist multi-objective genetic algorithm: NSGA-II, IEEE Transaction on Evolutionary Computation, pp.181-197, 2002.
DOI : 10.1109/4235.996017
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.7771

M. Walker, L. Bottaci, and Y. Papadopoulos, Compositional Temporal Fault Tree Analysis, Proceedings of the 26 th International Conference on Computer Safety, Reliability and Security, 2007.
DOI : 10.1007/978-3-540-75101-4_12

J. Branke, K. Deb, H. Dierolf, and M. Osswald, Finding knees in multiobjective optimization, " in Parallel Problem Solving from Nature -PPSN VIII, ser, Lecture Notes in Computer Science

F. Ortmeier and W. Reif, Safety optimization: a combination of fault tree analysis and optimization techniques, International Conference on Dependable Systems and Networks, 2004, 2004.
DOI : 10.1109/DSN.2004.1311935

I. Meedeniya, B. Buhnova, A. Aleti, and L. Grunske, Architecturedriven reliability and energy optimization for complex embedded systems, Research into Practice?Reality and Gaps, pp.52-67, 2010.
DOI : 10.1007/978-3-642-13821-8_6

E. Hahn, H. Hermanns, B. Wachter, and L. Zhang, PARAM: A Model Checker for Parametric Markov Models, Computer Aided Verification, pp.660-664, 2010.
DOI : 10.1007/978-3-642-14295-6_56
URL : https://hal.archives-ouvertes.fr/hal-00650737

A. Hegedus, A. Horváth, I. Ráth, and D. Varró, A model-driven framework for guided design space exploration, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.173-182, 2011.
DOI : 10.1109/ASE.2011.6100051

D. Knorreck, L. Apvrille, and R. Pacalet, Formal system-level design space exploration, New Technologies of Distributed Systems (NOTERE), 2010 10th Annual International Conference on, pp.1-8, 2010.
DOI : 10.1002/cpe.2802