R. Alur, C. Courcoubetis, and D. Dill, Model-Checking in Dense Real-Time, Information and Computation, vol.104, issue.1, pp.2-34, 1993.
DOI : 10.1006/inco.1993.1024
URL : http://doi.org/10.1006/inco.1993.1024

B. Bauer, J. P. Müller, and J. Odell, Agent uml: A formalism for specifying multiagent interaction Agent-Oriented Software Engineering, pp.91-103, 2001.

S. Becker, C. Brenner, S. Dziwok, T. Gewering, C. Heinzemann et al., The MechatronicUML method ? process, syntax, and semantics, 2012.

G. Behrmann, A. David, and K. G. Larsen, A tutorial on uppaal Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication , and Software Systems, SFM-RT, LNCS, issue.3185, pp.200-236, 2004.

J. Bengtsson and W. Yi, Timed Automata: Semantics, Algorithms and Tools, Lecture Notes in Computer Science, vol.3098, pp.87-124, 2003.
DOI : 10.1007/978-3-540-27755-2_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.8701

F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal, Pattern- Oriented Software Architecture, 1996.

B. P. Douglass, Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns, 1999.

B. P. Douglass, Real-Time Design Patterns: Robust Scalable Architecture for Real- Time Systems, 2002.

S. Dziwok, K. Bröker, C. Heinzemann, and M. Tichy, A catalog for Real-Time Coordination Patterns of advanced mechatronic systems, 2012.

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

H. Giese and S. Burmester, Real-time statechart semantics, 2003.

H. Giese, M. Tichy, S. Burmester, W. Schäfer, and S. Flake, Towards the compositional verification of real-time uml designs, Proceedings of the 9th European Software Engineering Conference held jointly with the 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE '03, pp.38-47, 2003.

C. Heinzemann and S. Henkler, Reusing dynamic communication protocols in selfadaptive embedded component architectures, Proceedings of the 14th International Symposium on Component Based Software Engineering, pp.109-118, 2011.
DOI : 10.1145/2000229.2000246

S. Henninger and V. Corrêa, Software pattern communities, Proceedings of the 14th Conference on Pattern Languages of Programs, PLOP '07, 2007.
DOI : 10.1145/1772070.1772087

W. Schäfer and H. Wehrheim, The Challenges of Building Advanced Mechatronic Systems, Future of Software Engineering (FOSE '07), pp.72-84, 2007.
DOI : 10.1109/FOSE.2007.28

T. Scharnhorst, H. Heinecke, K. P. Schnelle, J. Bortolazzi, L. Lundh et al., Autosar -challenges and achievements, 12th International VDI Congress Electronic Systems for Vehicles 2005, 2005.

T. Taibi, Design Patterns Formalization Techniques, 2007.
DOI : 10.4018/978-1-59904-219-0

S. Tripakis and S. Yovine, Analysis of timed systems using time-abstracting bisimulations, Formal Methods in System Design, vol.18, issue.1, pp.25-68, 2001.
DOI : 10.1023/A:1008734703554