R. ,

M. A. Khatib, A. Girard, and T. Dang, Scheduling of embedded controllers under timing contracts, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC '17, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01540841

E. Asarin, T. Dang, and O. Maler, The d/dt tool for verification of hybrid systems, Computer Aided Verification, CAV'02, vol.2404, 2002.

I. Assayad, A. Girault, and H. Kalla, Tradeoff exploration between reliability, power consumption, and execution time for embedded systems, Int. J. Software Tools for Technology Transfer, vol.15, issue.3, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00923926

A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Trans. Dependable Secure Comput, vol.1, issue.1, 2004.

P. Axer and R. Ernst, Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors, The 50th Annual Design Automation Conference 2013, DAC '13, 2013.

F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone et al., Metropolis: an integrated electronic system design environment, Computer, vol.36, issue.4, 2003.

A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous component-based system design using the BIP framework, IEEE Software, vol.28, issue.3, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00722395

A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-vincentelli, Composing heterogeneous reactive systems, ACM Trans. Embedded Comput. Syst, vol.7, issue.4, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00555841

A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J. Raclet et al., Contracts for system design, Foundations and Trends in Electronic Design Automation, vol.12, issue.2-3, 2018.
URL : https://hal.archives-ouvertes.fr/hal-00757488

A. Bhat, S. Samii, and R. R. Rajkumar, Recovery Time Considerations in Real-Time Systems Employing Software Fault Tolerance, 30th Euromicro Conference on Real-Time Systems (ECRTS 2018, vol.106, 2018.

D. Brì-ere, D. Ribot, D. Pilaud, and J. Camus, Methods and specifications tools for Airbus on-board systems, Avionics Conference and Exhibition, 1994.

W. Damm, H. Dierks, J. Oehlerking, and A. Pnueli, Towards component based design of hybrid systems: Safety and stability, Essays in Memory of Amir Pnueli, vol.6200, 2010.

P. Derler, E. Lee, S. Tripakis, and M. Törngren, Cyber-physical system design contracts, Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS '13, 2013.

R. Ernst, R. Henia, and S. Quinton, Beyond the deadline: New interfaces between control and scheduling for the design and analysis of critical embedded systems, Tutorial at ESWeek, 2017.

J. Fellmuth, T. Göthel, and S. Glesner, Instruction Caches in Static WCET Analysis of Artificially Diversified Software, 30th Euromicro Conference on Real-Time Systems (ECRTS 2018, vol.106, 2018.

D. Fontanelli, L. Greco, and L. Palopoli, Soft real-time scheduling for embedded control systems, Automatica, vol.49, issue.8, 2013.
DOI : 10.1016/j.automatica.2013.04.036
URL : https://hal.archives-ouvertes.fr/hal-00827456

G. Frehse, PHAVer: Algorithmic verification of hybrid systems past HyTech, International Workshop on Hybrid Systems: Computation and Control, HSCC'05, vol.3414, 2005.
DOI : 10.1007/978-3-540-31954-2_17
URL : http://www-verimag.imag.fr/~frehse/phaver_web/frehse_hscc2005.pdf

G. Frehse, A. Hamann, S. Quinton, and M. Woehrle, Formal analysis of timing effects on closed-loop properties of control software, Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01097622

F. Gärtner, Fundamentals of fault-tolerant distributed computing in asynchronous environments, ACM Computing Surveys, vol.31, issue.1, 1999.

A. Girault and H. Kalla, A novel bicriteria scheduling heuristics providing a guaranteed global system failure rate, IEEE Trans. Dependable Secure Comput, vol.6, issue.4, 2009.
DOI : 10.1109/tdsc.2008.50
URL : https://hal.archives-ouvertes.fr/hal-00746768

S. Graf, R. Passerone, and S. Quinton, Embedded Systems Development, From Functional Models to Implementations, 2014.

S. Graf and B. Steffen, Compositional minimization of finite state systems, Proceedings of a DIMACS Workshop 1990, vol.3, 1990.
DOI : 10.1007/bfb0023732

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

K. Krüger, M. Völp, and G. Fohler, Vulnerability Analysis and Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Systems, 30th Euromicro Conference on Real-Time Systems (ECRTS 2018, vol.106, 2018.

P. Kumar, D. Goswami, S. Chakraborty, A. Annaswamy, K. Lampka et al., A hybrid approach to cyber-physical systems verification, Proceedings of the 49th Annual Design Automation Conference, DAC '12, 2012.
DOI : 10.1145/2228360.2228484
URL : http://uu.diva-portal.org/smash/get/diva2:527106/FULLTEXT02

J. Li, P. Nuzzo, A. Sangiovanni-vincentelli, Y. Xi, and D. Li, Stochastic contracts for cyberphysical system design under probabilistic requirements, Proceedings of the 15th ACMIEEE International Conference on Formal Methods and Models for System Design, MEMOCODE '17, 2017.
DOI : 10.1145/3127041.3127045

C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem, Property preserving abstractions for the verification of concurrent systems, Formal Methods in System Design, vol.6, issue.1, 1995.

B. Meyer, Applying "design by contract", IEEE Computer, vol.25, issue.10, 1992.
DOI : 10.1109/2.161279
URL : http://www.inf.ethz.ch/~meyer/publications/computer/contract.pdf

J. Misra and K. M. Chandy, Proofs of networks of processes, IEEE Trans. Software Eng, vol.7, issue.4, 1981.

A. Müller, S. Mitsch, W. Retschitzegger, W. Schwinger, and A. Platzer, Change and delay contracts for hybrid system component verification, Fundamental Approaches to Software Engineering, 2017.

M. Otter, S. Mattsson, and H. Elmqvist, Multidomain modeling with Modelica. In Handbook of Dynamic System Modeling, 2007.
DOI : 10.1201/9781420010855.pt5

R. Passerone, I. B. Hafaiedh, S. Graf, A. Benveniste, D. Cancila et al., Metamodels in europe: Languages, tools, and applications, vol.26, 2009.
DOI : 10.1109/mdt.2009.64

G. A. Perez-castaneda, J. Aubry, and N. Brinzei, Stochastic hybrid automata model for dynamic reliability assessment, Proceedings of the Institution of Mechanical Engineers, vol.225, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00530357

A. Pnueli and K. Apt, In transition from global to modular temporal reasoning about programs, Logics and Models of Concurrent Systems, vol.13, 1985.
DOI : 10.1007/978-3-642-82453-1_5

D. Powell, Failure mode assumption and assumption coverage, International Symposium on Fault-Tolerant Computing, FTCS-22, 1992.
DOI : 10.1007/978-3-642-79789-7_8

J. Reineke and S. Tripakis, Basic problems in multi-view modeling, Tools and Algorithms for the Construction and Analysis of Systems, 2014.
DOI : 10.1007/s10270-017-0638-1
URL : http://nma.berkeley.edu/ark:/28722/bk001536z3w

H. Sheikh and I. Ahmad, Sixteen heuristics for joint optimization of performance, energy, and temperature in allocating tasks to multi-cores, ACM Trans. on Parallel Computing, vol.3, issue.2, 2016.

B. Steffen, Unifying models, STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, vol.1200, 1997.
DOI : 10.1007/bfb0023444

P. Tabuada, Verification and Control of Hybrid Systems-A Symbolic Approach, 2009.

H. Theiling, C. Ferdinand, and R. Wilhelm, Fast and precise WCET prediction by separated cache and path analyses. Real-Time Systems, vol.18, 2000.

Y. Zhao, Y. Xiong, E. A. Lee, X. Liu, and L. C. Zhong, The design and application of structured types in ptolemy II, Int. J. Intell. Syst, vol.25, issue.2, 2010.

D. Zhu, R. Melhem, and D. Mossé, The effects of energy management on reliability in real-time embedded systems, International Conference on Computer Aided Design, 2004.