B. Adelberg, H. Garcia-molina, and B. Kao, Emulating soft real-time scheduling using traditional operating system schedulers, Proceedings Real-Time Systems Symposium REAL-94, pp.292-298, 1994.
DOI : 10.1109/REAL.1994.342704

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., pp.187-195, 2004.
DOI : 10.1109/EMRTS.2004.1311020

R. Alur, Timed automata, International Conference on Computer Aided Verification, pp.8-22, 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, pp.60-72, 2003.
DOI : 10.1007/978-3-540-40903-8_6

S. Baruah, D. Chen, S. Gorinsky, and A. Mok, Generalized multiframe tasks. Real-Time Systems, pp.5-22, 1999.

S. K. Baruah, A. Burns, and R. I. Davis, Response-Time Analysis for Mixed Criticality Systems, 2011 IEEE 32nd Real-Time Systems Symposium, pp.34-43, 2011.
DOI : 10.1109/RTSS.2011.12

G. Bernat, A. Burns, and A. Liamosi, Weakly hard real-time systems, IEEE Transactions on Computers, vol.50, issue.4, pp.308-321, 2001.
DOI : 10.1109/12.919277

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

A. Burns and S. Baruah, Towards a more practical model for mixed criticality systems, Workshop on Mixed-Criticality Systems, p.2013

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, pp.93-119, 2009.

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, Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002, pp.365-372, 2002.
DOI : 10.1109/ISORC.2002.1003788

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

E. Fersman, P. Krcal, P. Pettersson, and W. Yi, Task automata: Schedulability , decidability and undecidability. Information and Computation, pp.1149-1172, 2007.

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, pp.125-134, 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, pp.148-166, 2005.

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, pp.134-152, 1997.
DOI : 10.1007/s100090050010

M. Miku?ionis, K. G. Larsen, J. I. Rasmussen, B. Nielsen, A. Skou et al., Schedulability Analysis Using Uppaal: Herschel-Planck Case Study, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pp.175-190, 2010.
DOI : 10.1007/978-3-642-16561-0_21

N. T. Moyo, E. Nicollet, F. Lafaye, and C. Moy, On schedulability analysis of non-cyclic generalized multiframe tasks, 22nd Euromicro Conference on Real-Time Systems, pp.271-278, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00552101

O. Uml, Modeling and analysis of real-time embedded systems, 2011.

L. Sha, T. Abdelzaher, K. Årzén, A. Cervin, T. Baker et al., Real time scheduling theory: A historical perspective. Real-time systems, pp.101-155, 2004.

L. Shan, Y. Wang, N. Fu, X. Zhou, L. Zhao et al., Formal Verification of Lunar Rover Control Software Using UPPAAL, International Symposium on Formal Methods, pp.718-732, 2014.
DOI : 10.1007/978-3-319-06410-9_48

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Cheddar: a flexible real time scheduling framework, ACM SIGAda Ada Letters, pp.1-8, 2004.