N. Saoussen-rekhis-boubaker, C. Bouassida, R. Duvallet, B. Bouaziz, and . Sadeg, A process to derive domain-specific patterns: Application to the real time domain, Lecture Notes in Computer Science, vol.6295, pp.475-489, 2010.

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude -A High- Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, Lecture Notes in Computer Science, vol.4350, 2007.

D. Bruce-powel, Real-time design patterns : robust scalable architecture for real-time systems. The Addison-Wesley object technology series, 2003.

H. Douibi, K. Boukhelfa, and F. Belala, A rewriting logic-based metamodel for design patterns formalization, PATTERNS 2011 : The Third International Conferences on Pervasive Patterns and Applications, pp.84-89, 2011.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-oriented Software, 1995.

E. Gasparis, LePUS, Toufik Taibi (ed) Design Pattern Formalization Techniques, pp.357-372, 2007.
DOI : 10.4018/978-1-59904-219-0.ch016

R. Dae-kyoo-kim, S. France, E. Ghosh, and . Song, A uml-based metamodeling language to specify design patterns, Patterns, Proc. Workshop Software Model Eng. (WiSME) with Unified Modeling Language Conf, 2003.

D. Mapelsden, J. Hosking, and J. Grundy, Design pattern modelling and instantiation using dpml, CRPIT '02: Proceedings of the Fortieth International Conference on Tools Pacific, pp.3-11, 2002.

J. Meseguer, Rewriting logic as a semantic framework for concurrency: a progress report, Lecture Notes in Computer Science, vol.1119, pp.331-372, 1996.
DOI : 10.1007/3-540-61604-7_64
URL : http://www2.csl.sri.com/rewriting/concur96.ps

. Omgmarte and . Org, The uml profile for marte: Modeling and analysis of real-time and embedded systems ? www.omgwiki.org/marte, 2015.

T. Taibi and D. Ngo, Formal Specification of Design Patterns - A Balanced Approach., The Journal of Object Technology, vol.2, issue.4, pp.127-140, 2003.
DOI : 10.5381/jot.2003.2.4.a4