R. Alur and G. Weiss, Regular Specifications of Resource Requirements for Embedded Control Software, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium, pp.159-168, 2008.
DOI : 10.1109/RTAS.2008.13

R. Alur and G. Weiss, RTComposer, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, pp.159-168, 2008.
DOI : 10.1145/1450058.1450080

M. Anand, S. Fischmeister, and I. Lee, A comparison of compositional schedulability analysis techniques for hierarchical real-time systems, ACM Transactions on Embedded Computing Systems, vol.13, issue.1, 2013.
DOI : 10.1145/2501626.2501629

A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone et al., Multiple Viewpoint Contract-Based Specification and Design, Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects, FMCO'07, pp.200-225, 2008.
DOI : 10.1109/43.736561

A. Boudjadar, A. David, J. H. Kim, K. G. Larsen, M. Mikucionis et al., Widening the Schedulability of Hierarchical Scheduling Systems Revised Selected Papers, Formal Aspects of Component Software -11th International Symposium, FACS 2014, pp.209-227, 2014.

A. Boudjadar, J. H. Kim, K. G. Larsen, and U. Nyman, Compositional Schedulability Analysis of An Avionics System Using UPPAAL, Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, pp.140-147, 2014.

A. Easwaran, I. Lee, O. Sokolsky, and S. Vestal, A Compositional Scheduling Framework for Digital Avionics Systems, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp.24-26, 2009.
DOI : 10.1109/RTCSA.2009.46

K. Lampka, S. Perathoner, and L. Thiele, Component-based system design: analytic real-time interfaces for state-based component implementations, International Journal on Software Tools for Technology Transfer, vol.14, issue.3, pp.155-170, 2013.
DOI : 10.1007/s10009-012-0257-7

M. Lukasiewycz, R. Schneider, D. Goswami, and S. Chakraborty, Modular scheduling of distributed heterogeneous time-triggered automotive systems, 17th Asia and South Pacific Design Automation Conference, pp.665-670, 2012.
DOI : 10.1109/ASPDAC.2012.6165039

S. P. Marimuthu and S. Chakraborty, A Framework for Compositional and Hierarchical Real-Time Scheduling, 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06), pp.16-18, 2006.
DOI : 10.1109/RTCSA.2006.7

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

P. Reinkemeier and I. Stierand, Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction, Proceedings. pp, pp.181-192, 2013.
DOI : 10.1007/978-3-642-38853-8_17

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

P. Reinkemeier and I. Stierand, Real-Time Contracts -A Contract Theory Considering Resource Supplies and Demands. Reports of SFB, 2014.

I. Shin and I. Lee, Compositional Real-Time Scheduling Framework, Proceedings of the 25th IEEE Real-Time Systems Symposium, pp.5-8, 2004.

I. Stierand, P. Reinkemeier, and P. Bhaduri, Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction, Formal Modeling and Analysis of Timed Systems -12th International Conference, FORMATS 2014 Proceedings. pp, pp.206-221, 2014.
DOI : 10.1007/978-3-319-10512-3_15

I. Stierand, P. Reinkemeier, T. Gezgin, and P. Bhaduri, Real-time scheduling interfaces and contracts for the design of distributed embedded systems, 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES), pp.130-139, 2013.
DOI : 10.1109/SIES.2013.6601485

N. Stoimenov, S. Chakraborty, and L. Thiele, Interface-Based Design of Real-Time Systems Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit- Computersysteme for 34 illustrious years), pp.83-101, 2012.

L. Thiele, E. Wandeler, and N. Stoimenov, Real-time interfaces for composing real-time systems, Proceedings of the 6th ACM & IEEE International conference on Embedded software , EMSOFT '06, pp.34-43, 2006.
DOI : 10.1145/1176887.1176894

E. Wandeler and L. Thiele, Interface-Based Design of Real-Time Systems with Hierarchical Scheduling, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), pp.243-252, 2006.
DOI : 10.1109/RTAS.2006.23

G. Weiss and R. Alur, Automata Based Interfaces for Control and Scheduling, Lecture Notes in Computer Science, vol.4416, pp.601-613, 2007.
DOI : 10.1007/978-3-540-71493-4_46

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=