C. André, Syntax and semantics of the Clock Constraint Specification Language (CCSL), Research Report INRIA, vol.6925, 2009.

A. Arnold, G. Point, A. Griffault, and A. Rauzy, The altarica formalism for describing concurrent systems, Fundam. Inform, vol.40, issue.2-3, pp.109-124, 1999.

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

L. Berardinelli, S. Bernardi, V. Cortellessa, and J. Merseguer, UML profiles for non-functional properties at work: Analyzing reliability, availability and performance, 2nd Int. W. on Non-functional System Properties in Domain Specific Modeling Languages (MoDELS/NFPinDSML). CEUR Workshop Proceedings, 2009.

S. Bernardi, J. Merseguer, and D. C. Petriu, A dependability profile within MARTE, Software & Systems Modeling, vol.7, issue.4, pp.313-336, 2011.
DOI : 10.1007/s10270-009-0128-1

D. Bohlender, H. Bruintjes, S. Junges, J. Katelaan, V. Y. Nguyen et al., A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models, Lecture Notes in Computer Science, vol.8803, pp.177-192978, 2014.
DOI : 10.1007/978-3-662-45231-8_13

A. J. Boudjadar, A. David, J. H. Kim, K. G. Larsen, M. Mikucionis et al., Schedulability and energy efficiency for multi-core hierarchical scheduling systems, ERTS, 2014.

F. Boutekkouk, M. Benmohammed, S. Bilavarn, and M. Auguin, UML2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs)., The Journal of Object Technology, vol.8, issue.1, pp.135-157, 2009.
DOI : 10.5381/jot.2009.8.1.a1
URL : https://hal.archives-ouvertes.fr/hal-00366581

F. Brosig, P. Meier, S. Becker, A. Koziolek, H. Koziolek et al., Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-Based Architectures, IEEE Transactions on Software Engineering, vol.41, issue.2
DOI : 10.1109/TSE.2014.2362755

P. Bulychev, A. David, K. G. Larsen, M. Miku?ionis, D. B. Poulsen et al., Uppaalsmc: Statistical model checking for priced timed automata. arXiv preprint arXiv, pp.1207-1272, 2012.
DOI : 10.4204/eptcs.85.1
URL : http://doi.org/10.4204/eptcs.85.1

A. David, D. Du, K. G. Larsen, M. Miku?ionis, and A. Skou, An evaluation framework for energy aware buildings using statistical model checking, Science China Information Sciences, vol.68, issue.12, pp.2694-2707, 2012.
DOI : 10.1007/s11432-012-4742-0

A. David, K. G. Larsen, A. Legay, M. Mikucionis, D. B. Poulsen et al., Statistical model checker for biological systems, International Journal on Software Tools for Technology Transfer, 2014.
DOI : 10.1007/s10009-014-0323-4

A. David, K. G. Larsen, A. Legay, M. Miku?ionis, D. B. Poulsen et al., Statistical Model Checking for Networks of Priced Timed Automata, LNCS, vol.10, issue.3, pp.80-96978, 2011.
DOI : 10.1145/1755952.1755987

A. David, K. G. Larsen, A. Legay, M. Miku?ionis, and Z. Wang, Time for Statistical Model Checking of Real-Time Systems, Proceedings of the 23rd international conference on Computer aided verification, pp.349-355, 2011.
DOI : 10.1007/s10009-005-0187-8

J. Deantoni and F. Mallet, TimeSquare: Treat Your Models with Logical Time, Lecture Notes in Computer Science, vol.7304, issue.50, pp.34-41, 2012.
DOI : 10.1007/978-3-642-30561-0_4
URL : https://hal.archives-ouvertes.fr/hal-00688590

S. Demathieu, F. Thomas, C. André, S. Gérard, and F. Terrier, First Experiments Using the UML Profile for MARTE, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp.50-5736, 2008.
DOI : 10.1109/ISORC.2008.36

A. Deshpande, D. N. Godbole, A. Göllü, and P. Varaiya, Design and evaluation tools for Automated Highway Systems, Hybrid Systems III: Verification and Control, Proc. of the DIMACS/SYCON Workshop, pp.138-148, 1995.
DOI : 10.1007/BFb0020941

H. Espinoza, H. Dubois, S. Gérard, J. L. Pasaje, D. C. Petriu et al., Annotating UML Models with Non-functional Properties for Quantitative Analysis, Satellite Events at the MoDELS 2005 Conference, MoDELS 2005, pp.79-90, 2005.
DOI : 10.1007/11663430_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.6

H. Fang, J. Shi, H. Zhu, J. Guo, K. G. Larsen et al., Formal verification and simulation for platform screen doors and collision avoidance in subway control systems, International Journal on Software Tools for Technology Transfer, vol.9, issue.3, pp.339-361, 2014.
DOI : 10.1007/s10009-014-0318-1

A. Fehnker and F. Ivancic, Benchmarks for Hybrid Systems Verification, Lecture Notes in Computer Science, vol.2993, pp.326-341, 2004.
DOI : 10.1007/978-3-540-24743-2_22

M. Z. Iqbal, S. Ali, T. Yue, and L. Briand, Experiences of Applying UML/MARTE on Three Industrial Projects, 15th Int. Conf. on Model Driven Engineering Languages and Systems, pp.642-658, 2012.
DOI : 10.1007/978-3-642-33666-9_41

Z. Jiang, M. Pajic, S. Moarref, R. Alur, and R. Mangharam, Modeling and Verification of a Dual Chamber Implantable Pacemaker, Tools and Algorithms for the Construction and Analysis of Systems -18th Int. Conf., TACAS 2012, pp.188-203978, 2012.
DOI : 10.1007/978-3-642-28756-5_14

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

E. A. Lee and A. L. Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998.
DOI : 10.1109/43.736561

E. A. Lee, Cyber Physical Systems: Design Challenges, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp.363-36925, 2008.
DOI : 10.1109/ISORC.2008.25

E. A. Lee, The Past, Present and Future of Cyber-Physical Systems: A Focus on Models, Sensors, vol.15, issue.3, pp.4837-48694837, 2015.
DOI : 10.3390/s150304837

A. Legay, B. Delahaye, and S. Bensalem, Statistical Model Checking: An Overview, pp.122-135, 2010.
DOI : 10.1007/978-3-642-16612-9_11
URL : https://hal.archives-ouvertes.fr/inria-00591593

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

Z. Liu, J. Liu, J. He, and Z. Ding, Spatio-temporal UML statechart for cyber-physical systems, 17th IEEE Int. Conf. on Engineering of Complex Computer Systems, ICECCS, pp.137-146, 2012.

F. Mallet and R. De-simone, Correctness issues on MARTE/CCSL constraints, Science of Computer Programming, vol.106, 2015.
DOI : 10.1016/j.scico.2015.03.001
URL : https://hal.archives-ouvertes.fr/hal-01257978

C. Ptolemaeus, System Design, Modeling, and Simulation: Using Ptolemy II, Ptolemy.org, 2014.

B. Selic and S. Gerard, Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE, 2013.

K. Sen, M. Viswanathan, and G. Agha, Statistical Model Checking of Black-Box Probabilistic Systems, Computer Aided Verification, 16th Int. Conf., CAV. Lecture Notes in Computer Science, pp.202-215, 2004.
DOI : 10.1007/978-3-540-27813-9_16

D. Shorin, A. Zimmermann, and P. Maciel, Transforming uml state machines into stochastic petri nets for energy consumption estimation of embedded systems, Sustainable Internet and ICT for Sustainability (SustainIT), pp.1-6, 2012.

D. Shorin and A. Zimmermann, Formal description of an approach for power consumption estimation of embedded systems, 2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), pp.1-10, 2014.
DOI : 10.1109/PATMOS.2014.6951890

C. Tomlin, G. J. Pappas, J. Lygeros, D. N. Godbole, and S. Sastry, Hybrid control models of next generation air traffic management, Lecture Notes in Computer Science, vol.1273, pp.378-404, 1996.
DOI : 10.1007/BFb0031570

M. Tribastone and S. Gilmore, Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile, Proceedings of the 7th international workshop on Software and performance, WOSP '08, pp.67-78, 2008.
DOI : 10.1145/1383559.1383569

H. L. Younes and R. G. Simmons, Statistical probabilistic model checking with a focus on time-bounded properties, Information and Computation, vol.204, issue.9, pp.1368-1409, 2006.
DOI : 10.1016/j.ic.2006.05.002

Y. Zhang, F. Mallet, and Y. Chen, Timed Automata Semantics of Spatial-Temporal Consistency Language STeC, 2014 Theoretical Aspects of Software Engineering Conference, pp.201-208, 2014.
DOI : 10.1109/TASE.2014.10

J. Zou, S. Matic, E. A. Lee, T. H. Feng, and P. Derler, Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium, pp.77-8639, 2009.
DOI : 10.1109/RTAS.2009.39
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.4992