K. Albers and F. Slomka, An event stream driven approximation for the analysis of real-time systems, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004., p.187195, 2004.
DOI : 10.1109/EMRTS.2004.1311020

R. Alur, Timed automata, International Conference on Computer Aided Verication, 1999.

T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi, TIMES: A??Tool for Schedulability Analysis and Code Generation of Real-Time Systems, International Conference on Formal Modeling and Analysis of Timed Systems, p.6072, 2003.
DOI : 10.1007/978-3-540-40903-8_6

J. Bengtsson and W. Yi, Timed Automata: Semantics, Algorithms and Tools, Lectures on concurrency and petri nets, p.87124, 2004.
DOI : 10.1007/978-3-540-27755-2_3

A. Boudjadar, A. David, J. H. Kim, K. G. Larsen, M. Miku£ionis et al., Statistical and exact schedulability analysis of hierarchical scheduling systems, Science of Computer Programming, vol.127, 2016.
DOI : 10.1016/j.scico.2016.05.008

M. Cordovilla, F. Boniol, J. Forget, E. Noulard, and C. Pagetti, Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset, 19th International Conference on Real-Time and Network Systems, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00618587

A. David, J. Illum, K. G. Larsen, and A. Skou, Model-based framework for schedulability analysis using UPPAAL 4.1. Model-based design for embedded systems, p.93119, 2009.
DOI : 10.1201/9781420067859-c4

R. I. Davis and A. Burns, A survey of hard real-time scheduling for multiprocessor systems, ACM Computing Surveys, vol.43, issue.4, p.35, 2011.
DOI : 10.1145/1978802.1978814

D. Decotigny and I. Puaut, Artisst: An extensible and modular simulation tool for real-time systems In: Object-Oriented Real-Time Distributed Computing, Proceedings. Fifth IEEE International Symposium on, p.365372, 2002.

J. Diemer, P. Axer, and R. Ernst, Compositional performance analysis in python with pyCPA, Proc. of WATERS, 2012.

H. Feiler, B. Lewis, and S. Vestal, The SAE architecture analysis and design language (AADL) standard, 2003.
DOI : 10.21236/ada455842
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1408&context=sei

E. Fersman, P. Krcal, P. Pettersson, and W. Yi, Task automata: Schedulability, decidability and undecidability, Information and Computation, vol.205, issue.8, p.11491172, 2007.
DOI : 10.1016/j.ic.2007.01.009
URL : https://doi.org/10.1016/j.ic.2007.01.009

M. G. Harbour, J. G. García, J. P. Gutiérrez, and J. D. Moyano, MAST: Modeling and analysis suite for real time applications, Real-Time Systems, 13th Euromicro Conference on, p.125134, 2001.

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter et al., System level performance analysis the SymTA/S approach, IEE Proceedings-Computers and Digital Techniques, p.148166, 2005.
DOI : 10.1049/pbcs018e_ch2
URL : http://www.ida.ing.tu-bs.de/research/publications/ps/HHJ+05:SysteLevelPerfoAnaly.pdf

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, p.134152, 1997.
DOI : 10.1007/s100090050010

C. L. Liu and J. W. Layland, Scheduling algorithms for multiprogramming in a hardreal-time environment, Journal of the ACM (JACM), vol.20, issue.1, p.4661, 1973.

M. Miku£ionis, K. G. Larsen, J. I. Rasmussen, B. Nielsen, A. Skou et al., Schedulability analysis using UPPAAL: Herschelplanck case study, International Symposium On Leveraging Applications of Formal Methods, Verication and Validation, p.175190, 2010.

S. Perathoner, E. Wandeler, and L. Thiele, Evaluation and comparison of performance analysis methods for distributed embedded systems, 2006.

S. Perathoner, E. Wandeler, L. Thiele, A. Hamann, S. Schliecker et al., Inuence of dierent abstractions on the performance analysis of distributed hard real-time systems, Design Automation for Embedded Systems, vol.13, issue.1, p.2749, 2009.

L. Sha, T. Abdelzaher, K. E. Årzén, A. Cervin, T. Baker et al., Real time scheduling theory: A historical perspective. Real-time systems, p.101155, 2004.
DOI : 10.1023/b:time.0000045315.61234.1e
URL : http://www.cs.uiuc.edu/class/sp08/cs598tar/Papers/Sha04-RTSJ.pdf

L. Shan, Y. Wang, N. Fu, X. Zhou, L. Zhao et al., Formal verication of lunar rover control software using UPPAAL, International Symposium on Formal Methods, p.718732, 2014.
DOI : 10.1007/978-3-319-06410-9_48

F. Singho, J. Legrand, L. Nana, and L. Marcé, Cheddar: a exible real time scheduling framework, ACM SIGAda Ada Letters, p.18, 2004.

M. Stigge and W. Yi, Graph-based models for real-time workload: a survey, Real-Time Systems, vol.43, issue.2, p.602636, 2015.
DOI : 10.1007/s11241-009-9085-6

S. M. Team, Systems modeling language (SysML) specication. OMG document: ad, pp.2006-2009, 2006.

L. Thiele, S. Chakraborty, and M. Naedele, Real-time calculus for scheduling hard real-time systems, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353), 2000.
DOI : 10.1109/ISCAS.2000.858698