B. Hollunder and F. Baader, Qualifying number restrictions in concept languages, pp.335-346, 1991.

P. Hitzler, M. Krötzsch, and S. Rudolph, Semantic Web Technologies, 2010.

O. M. The, Group: UML specification, 2015.

N. Baklanova, J. H. Brenas, R. Echahed, C. Percebois, M. Strecker et al., Provably correct graph transformations with small-talc, ICTERI 2015, pp.78-93, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01517373

G. Taentzer, K. Ehrig, E. Guerra, J. D. Lara, T. Levendovszky et al., Model transformations by graph transformations: A comparative study, Model Transformations in Practice Workshop at MODELS 2005, MONTEGO, p.5, 2005.

A. Rensink and G. Taentzer, Applications of Graph Transformations with Industrial Relevance: AGTIVE 2007, pp.487-492, 2007.

M. Molloy and B. Reed, A critical point for random graphs with a given degree sequence, Random Structures & Algorithms, vol.6, issue.2-3, pp.161-180, 1995.

M. Molloy and B. Reed, The size of the giant component of a random graph with a given degree sequence, COMBIN. PROBAB. COMPUT, vol.7, pp.295-305, 2000.

J. H. Brenas, R. Echahed, and M. Strecker, On the closure of description logics under substitution, Book DL -Description Logics, 2016.

T. Nipkow, L. Paulson, and M. Wenzel, Isabelle/HOL. A Proof Assistant for Higher-Order Logic, LNCS, vol.2283, 2002.

M. Odersky, P. Altherr, V. Cremet, B. Emir, S. Maneth et al., An overview of the Scala programming language, 2004.

A. H. Ghamarian, M. De-mol, A. Rensink, E. Zambon, and M. Zimakova, Modelling and analysis using GROOVE, STTT, vol.14, issue.1, pp.15-40, 2012.

E. Leblebici, A. Anjorin, and A. Schürr, Developing emoflon with emoflon, ICMT 2014, Held as Part of STAF, pp.138-145, 2014.

G. Bergmann, I. Dávid, Á. Hegedüs, Á. Horváth, I. Ráth et al., Viatra 3 : A reactive model transformation platform, 8th International Conference on Model Transformations, 2015.

J. Tschannen, C. A. Furia, M. Nordio, and N. Polikarpova, AutoProof: Auto-Active Functional Verification of Object-Oriented Programs, Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, pp.566-580, 2015.

K. R. Leino, Dafny: An automatic program verifier for functional correctness, LPAR (Dakar), pp.348-370, 2010.

K. Inaba, S. Hidaka, Z. Hu, H. Kato, and K. Nakano, Graph-transformation verification using monadic second-order logic, PPDP 2011, pp.17-28, 2011.

C. Csallner and Y. Smaragdakis, Check 'n' crash: Combining static checking and testing, Proceedings of the 27th International Conference on Software Engineering. ICSE '05, pp.422-431, 2005.

X. Ge, K. Taneja, T. Xie, and N. Tillmann, Dyta: Dynamic symbolic execution guided with static verification results, Proceedings of the 33rd International Conference on Software Engineering. ICSE '11, pp.992-994, 2011.

M. Christakis, K. R. Leino, P. Müller, and V. Wüstholz, Integrated environment for diagnosing verification errors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), vol.9636, pp.424-441, 2016.

W. Ahrendt, T. Baar, B. Beckert, R. Bubel, M. Giese et al., The key tool. Software & Systems Modeling, vol.4, pp.32-54, 2004.

P. Godefroid and D. Luchaup, Automatic partial loop summarization in dynamic test generation, Proceedings of the 2011 International Symposium on Software Testing and Analysis. ISSTA '11, pp.23-33, 2011.

D. Plump, C. Runciman, C. Bak, and G. Faulkner, In: A Reference Interpreter for the Graph Programming Language GP 2, of Electronic Proceedings in Theoretical Computer Science, vol.181, pp.48-64, 2015.

A. Habel and K. H. Pennemann, Correctness of high-level transformation systems relative to nested conditions&#8224, Mathematical. Structures in Comp. Sci, vol.19, issue.2, pp.245-296, 2009.

C. M. Poskitt and D. Plump, Hoare-style verification of graph programs, Fundam. Inf, vol.118, issue.1-2, pp.135-175, 2012.