C. Gomez, J. Deantoni, and F. Mallet, Multi-view Power Modeling Based on UML, MARTE and SysML, 2012 38th Euromicro Conference on Software Engineering and Advanced Applications, pp.17-20, 2012.
DOI : 10.1109/SEAA.2012.66

URL : https://hal.archives-ouvertes.fr/hal-00688853

C. Gomez, J. Deantoni, and F. Mallet, Power consumption analysis using multi-view modeling, 2013 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), pp.235-238, 2013.
DOI : 10.1109/PATMOS.2013.6662180

URL : https://hal.archives-ouvertes.fr/hal-00906733

C. André, J. Deantoni, F. Mallet, and R. De-simone, The Time Model of Logical Clocks Available in the OMG MARTE Profile, pp.201-227, 2010.
DOI : 10.1007/978-1-4419-6400-7_7

C. André, Syntax and Semantics of the Clock Constraint Specification Language (CCSL), 2009.

J. Deantoni and F. Mallet, TimeSquare: Treat Your Models with Logical Time, Proceedings of the 50th international conference on Objects, Models, Components, Patterns, ser. TOOLS'12, pp.34-41, 2012.
DOI : 10.1007/978-3-642-30561-0_4

URL : https://hal.archives-ouvertes.fr/hal-00688590

S. Edwards, L. Lavagno, E. Lee, and A. Sangiovanni-vincentelli, Design of embedded systems: formal models, validation, and synthesis, Proc. of the IEEE, pp.366-390, 1997.

A. Jantsch, Modeling embedded systems and SoC's: concurrency and time in models of computation, 2004.

A. Jantsch and I. Sander, Models of computation and languages for embedded system design, Computers and Digital Techniques, IEE Proceedings, pp.114-129, 2005.
DOI : 10.1049/ip-cdt:20045098

T. Henzinger, The theory of hybrid automata, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.265-292, 2000.
DOI : 10.1109/LICS.1996.561342

J. Liu, Z. Liu, J. He, F. Mallet, and Z. Ding, Hybrid MARTE statecharts, Frontiers of Computer Science, vol.43, issue.3, pp.95-108, 2013.
DOI : 10.1007/s11704-012-1301-1

URL : https://hal.archives-ouvertes.fr/hal-00800920

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27

URL : https://hal.archives-ouvertes.fr/hal-00375298

T. Bourke and M. Pouzet, Z??lus, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.113-118, 2013.
DOI : 10.1145/2461328.2461348

F. Singhoff, J. Legrand, L. Nana, and L. M. Sigada, Cheddar: a flexible real time scheduling framework, pp.1-8, 2004.

W. Huang, S. Ghosh, S. Velusamy, K. Sankaranarayanan, K. Skadron et al., Hotspot: a compact thermal modeling methodology for early-stage vlsi design Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, vol.1421, issue.5, pp.501-513, 2006.

A. Vassighi and M. Sachdev, Thermal and power management of integrated circuits, 2006.

E. Andrade, P. Maciel, G. Callou, and B. Nogueira, A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints, 2009 Third International Conference on Digital Society, pp.266-271, 2009.
DOI : 10.1109/ICDS.2009.19

J. Deantoni and F. Mallet, ECL: the Event Constraint Language, an Extension of OCL with Events, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00721169

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2006.