C. Alexander, S. Ishikawa, and M. Silverstein, A Pattern Language, Center for Environmental Structure Series, vol.2, 1977.

B. Cheng, B. H. Cheng, S. Konrad, L. A. Campbell, and R. Wassermann, Using security patterns to model and analyze security, IEEE Workshop on Requirements for High Assurance Systems, pp.13-22, 2003.

B. P. Douglass, Real-Time UML, 1998.
DOI : 10.1007/3-540-45739-9_4

E. B. Fernandez, N. Yoshioka, H. Washizaki, J. Jürjens, M. Vanhilst et al., Software Engineering for Secure Systems: Industrial and Research Perspectives, pp.16-31, 2010.

A. Fuchs, S. Gürgens, and C. Rudolph, A Formal Notion of Trust ??? Enabling Reasoning about Security Properties, IFIP AICT, vol.321, pp.200-215, 2010.
DOI : 10.1007/978-3-642-13446-3_14
URL : https://hal.archives-ouvertes.fr/hal-01061328

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

E. Gasparis, J. Nicholson, and A. H. Eden, LePUS3: An Object-Oriented Design Description Language, Diagrams 2008, pp.364-367, 2008.
DOI : 10.1007/978-3-540-87730-1_37

D. Giacomo and V. , Using Security and Dependability Patterns for Reaction Processes, 2008 19th International Conference on Database and Expert Systems Applications, pp.315-319, 2008.
DOI : 10.1109/DEXA.2008.102

L. Guennec, A. Sunyé, G. Jézéquel, and J. , Precise Modeling of Design Patterns, UML 2000, pp.482-496, 2000.
DOI : 10.1007/3-540-40011-7_35
URL : https://hal.archives-ouvertes.fr/hal-00794308

S. T. Halkidis, A. Chatzigeorgiou, and G. Stephanides, A qualitative analysis of software security patterns, Computers & Security, vol.25, issue.5, pp.379-392, 2006.
DOI : 10.1016/j.cose.2006.03.002

B. Hamid, S. Gürgens, C. Jouvray, and N. Desnos, Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches, MODELS 2011, pp.319-333, 2011.
DOI : 10.1201/9781420038163

D. Hatebur, M. Heisel, and H. Schmidt, A Security Engineering Process based on Patterns, 18th International Conference on Database and Expert Systems Applications (DEXA 2007), pp.734-738, 2007.
DOI : 10.1109/DEXA.2007.36

H. M. Jarvinen and R. Kurki-suonio, DisCo specification language: marriage of actions and objects, [1991] Proceedings. 11th International Conference on Distributed Computing Systems, pp.142-151, 1991.
DOI : 10.1109/ICDCS.1991.148656

J. Jürjens, UMLsec: Extending UML for Secure Systems Development, UML 2002, pp.412-425, 2002.
DOI : 10.1007/3-540-45800-X_32

D. K. Kim, R. France, S. Ghosh, and E. Song, A UML-Based Metamodeling Language to Specify Design Patterns, Patterns, Proc. Workshop Software Model Eng (WiSME) with Unified Modeling Language Conf, pp.1-9, 2004.

T. E. Mikkonen, Formalizing design patterns, Proceedings of the 20th International Conference on Software Engineering, 1998.
DOI : 10.1109/ICSE.1998.671108
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.6248

D. Schmidt, Model-Driven Engineering, IEEE Computer, vol.39, issue.2, pp.41-47, 2006.

M. Schumacher, Security Engineering with Patterns, LNCS, vol.2754, 2003.
DOI : 10.1007/b11930

M. Schumacher, E. Fernandez-buglioni, D. Hybertson, F. Buschmann, and P. Sommerlad, Security Patterns, Informatik-Spektrum, vol.25, issue.3, 2006.
DOI : 10.1007/s002870200223

N. Yoshioka, H. Washizaki, and K. Maruyama, A survey on security patterns, Progress in Informatics, issue.5, pp.35-47, 2008.
DOI : 10.2201/NiiPi.2008.5.5

U. Zdun and P. Avgeriou, Modeling Architectural Patterns Using Architectural Primitives, Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming , Systems, Languages, and Applications, OOPSLA 2005, pp.133-146, 2005.

T. Zhang, F. Jouault, J. Bezivin, and J. Zhao, A MDE Based Approach for Bridging Formal Models, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, pp.113-116, 2008.
DOI : 10.1109/TASE.2008.21

R. Zurawski, Embedded Systems In: Embedded Systems Handbook, 2005.