L. De-alfaro and T. A. Henzinger, Interface automata In: Proceedings of SIGSOFT'01, pp.109-120, 2001.

A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone et al., Multiple Viewpoint Contract-Based Specification and Design, 6th International Symposium, pp.200-225, 2007.
DOI : 10.1109/43.736561

A. Cimatti and S. Tonetta, Contracts-refinement proof system for component-based embedded systems, Science of Computer Programming, vol.97, pp.333-348, 2015.
DOI : 10.1016/j.scico.2014.06.011

O. Ferrante, R. Passerone, A. Ferrari, L. Mangeruca, and C. Sofronis, BCL: A compositional contract language for embedded systems, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), pp.1-6, 2014.
DOI : 10.1109/ETFA.2014.7005353

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter et al., System level performance analysis ? the SymTA/S approach, IEEE Proceedings Computers and Digital Techniques, 2005.

R. Henia, L. Rioux, N. Sordon, G. Garcia, and M. Panunzio, Integrating formal timing analysis in the realtime software development process, Proceedings of the 2015 Workshop on Challenges in Performance Methods for Software Development, WOSP-C'15, pp.35-40, 2015.

M. Neukirchner, S. Stein, and R. Ernst, The EPOC Architecture???Enabling Evolution Under Hard Constraints, pp.399-412, 2011.
DOI : 10.1007/978-3-0348-0130-0_26

M. Panunzio and T. Vardanega, A component-based process with separation of concerns for the development of embedded real-time software systems, Journal of Systems and Software, vol.96, pp.105-121, 2014.
DOI : 10.1016/j.jss.2014.05.076

M. Persson, M. Törngren, A. Qamar, J. Westman, M. Biehl et al., A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp.1-1010, 2013.
DOI : 10.1109/EMSOFT.2013.6658588

J. Reineke and S. Tripakis, Basic Problems in Multi-View Modeling, Proceedings of TACAS'14, pp.217-232978, 2014.
DOI : 10.1007/978-3-642-54862-8_15

J. Schlatow, M. Moestl, and R. Ernst, An Extensible Autonomous Reconfiguration Framework for Complex Component-Based Embedded Systems, 2015 IEEE International Conference on Autonomic Computing, pp.239-242, 2015.
DOI : 10.1109/ICAC.2015.18

L. Sha, R. Rajkumar, J. P. Lehoczky, and K. Ramamritham, Mode change protocols for priority-driven preemptive scheduling, Real-Time Systems, vol.20, issue.1, pp.243-264, 1989.
DOI : 10.1007/BF00365439
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.250

M. Sojka and Z. Hanzálek, Modular architecture for real-time contract-based framework, 2009 IEEE International Symposium on Industrial Embedded Systems, pp.66-69, 2009.
DOI : 10.1109/SIES.2009.5196196

A. Wieder and B. B. Brandenburg, Efficient partitioning of sporadic real-time tasks with shared resources and spin locks, 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES), pp.49-58, 2013.
DOI : 10.1109/SIES.2013.6601470

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, 2008.
DOI : 10.1145/1347375.1347389