T. Gezgin, I. Stierand, S. Henkler, and A. Rettberg, State-based scheduling analysis for distributed real-time systems, Design Automation for Embedded Systems, vol.40, issue.8, p.118, 2013.
DOI : 10.1016/0165-6074(94)90080-9

T. Gezgin, S. Henkler, I. Stierand, and A. Rettberg, Impact analysis for timing requirements on real-time systems, 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, p.110, 2014.
DOI : 10.1109/RTCSA.2014.6910519

K. Tindell and J. Clark, Holistic schedulability analysis for distributed hard real-time systems, Microprocessing and Microprogramming, vol.40, issue.2-3, pp.40-117134, 1994.
DOI : 10.1016/0165-6074(94)90080-9

J. Gutierrez, J. Gutierrez-garcia, and M. Gonzalez-harbour, On the schedulability analysis for distributed hard real-time systems, Proc. of the Euromicro Workshop on Real-Time Systems, p.136143, 1997.

L. Thiele, S. Chakraborty, M. Gries, A. Maxiaguine, and J. Greutert, Embedded Software in Network Processors ??? Models and Algorithms, Proc. of the First Workshop on Embedded Software. EMSOFT, p.416, 2001.
DOI : 10.1007/3-540-45449-7_29

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter et al., System level performance analysis -the symta/s approach. Computers and Digital Techniques, IEE Proceedings, vol.152, p.148166, 2005.
DOI : 10.1049/pbcs018e_ch2

E. Wandeler, Modular Performance Analysis and Interface-Based Design for Embedded Real-Time Systems, 2006.

K. Lampka, S. Perathoner, and L. Thiele, Analytic real-time analysis and timed automata, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, p.107116, 2009.
DOI : 10.1145/1629335.1629351

L. T. Phan, J. Lee, A. Easwaran, V. Ramaswamy, S. Chen et al., CARTS, ACM SIGBED Review, vol.8, issue.1, p.6263, 2011.
DOI : 10.1145/1967021.1967029

A. David, J. Illum, K. G. Larsen, and A. Skou, Model-Based Framework for Schedulability Analysis Using UPPAAL 4.1, Model-Based Design for Emb, p.93119, 2009.
DOI : 10.1201/9781420067859-c4

M. Hendriks and M. Verhoef, Timed automata based analysis of embedded system architectures, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006.
DOI : 10.1109/IPDPS.2006.1639422

S. Perathoner, E. Wandeler, L. Thiele, A. Hamann, S. Schliecker et al., Inuence of dierent system abstractions on the performance analysis of distributed real-time systems, Proceedings of the, 2007.

E. Fersman, P. Pettersson, and W. Yi, Timed Automata with Asynchronous Processes: Schedulability and Decidability, Proceedings of TACAS, 2002.
DOI : 10.1007/3-540-46002-0_6

A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone et al., Multiple viewpoint contract-based specication and design. In: Formal Methods for Components and Objects, 2008.

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), p.104, 2000.
DOI : 10.1109/ISCAS.2000.858698

S. Lehnert, A review of software change impact analysis, Tech. Rep, 2011.

K. Richter, R. Racu, and R. Ernst, Scheduling analysis integration for heterogeneous multiprocessor SoC, Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748), 2003.
DOI : 10.1109/REAL.2003.1253270

T. Gezgin, S. Henkler, I. Stierand, and A. Rettberg, Evaluation of a state-based real-time scheduling analysis technique, 2014 12th IEEE International Conference on Industrial Informatics (INDIN), p.158163, 2014.
DOI : 10.1109/INDIN.2014.6945501