L. Almeida, P. Pedreiras, and J. A. Fonseca, The FTT-CAN protocol: why and how, IEEE Transactions on Industrial Electronics, vol.49, issue.6, pp.1189-1201, 2002.
DOI : 10.1109/TIE.2002.804967

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

M. Anand, Conditional models for compositional design of real-time embedded systems, 2008.

M. Anand, S. Fischmeister, Y. Hur, J. Kim, and I. Lee, Generating Reliable Code from Hybrid-Systems Models, IEEE Transactions on Computers, vol.59, issue.9, 2010.
DOI : 10.1109/TC.2010.84
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.173.461

E. Armengaud and A. Steininger, Remote measurement of local oscillator drifts in FlexRay networks, 2009 Design, Automation & Test in Europe Conference & Exhibition, pp.1082-1087, 2009.
DOI : 10.1109/DATE.2009.5090825

S. L. Campbell, J. Chancelier, and R. Nikoukhah, Modeling and Simulation in Scilab, Scicos with ScicosLab, vol.4, issue.4, 2010.
DOI : 10.1007/978-1-4419-5527-2_3

G. Carvajal and S. Fischmeister, A TDMA Ethernet Switch for Dynamic Real-Time Communication, 2010 18th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2010.
DOI : 10.1109/FCCM.2010.27

P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis et al., From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications, Proceedings LCTES'03, 2003.

S. Chakraborty, L. T. Phan, and P. S. Thiagarajan, Event count automata: A state-based model for 20 @, LP=false ?FS=false) Send(P2,ID) @(FS=false ? LP=true

A. Easwaran, M. Anand, and I. Lee, Compositional Analysis Framework Using EDP Resource Models, 28th IEEE International Real-Time Systems Symposium (RTSS 2007), 2007.
DOI : 10.1109/RTSS.2007.36
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.173.1383

P. Eles, K. Kuchcinski, Z. Peng, A. Doboli, and P. Pop, Scheduling of conditional process graphs for the synthesis of embedded systems, Proceedings DATE'98, 1998.

S. Fischmeister and I. Lee, A Verifiable Language for Programming Real-Time Communication Schedules, IEEE Transactions on Computers, vol.56, issue.11, pp.1505-1519, 2007.
DOI : 10.1109/TC.2007.70747

S. Fischmeister, R. Trausmuth, and I. Lee, Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet, IEEE Transactions on Industrial Informatics, vol.5, issue.3, 2009.
DOI : 10.1109/TII.2009.2026642

F. Consortium, FlexRay Communications System ? Protocol Specification, 2004.

M. Fugger, E. Armengaud, and A. Steininger, Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems–A Combined Formal and Experimental Approach, IEEE Transactions on Industrial Informatics, vol.5, issue.2, pp.132-146, 2009.
DOI : 10.1109/TII.2009.2017526

T. Grandpierre, C. Lavarenne, and Y. Sorel, Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors, Proceedings of the seventh international workshop on Hardware/software codesign , CODES '99, 1999.
DOI : 10.1145/301177.301489

T. Grandpierre and Y. Sorel, From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings., 2003.
DOI : 10.1109/MEMCOD.2003.1210097

P. , L. Guernic, J. Talpin, and J. Lann, Polychrony for system design The synchronous dataflow programming language Lustre, Proceedings of the IEEE, pp.261-3041305, 1991.

P. Pedreiras, P. Gai, L. Almeida, and G. C. Buttazzo, FTT-Ethernet: A Flexible Real-Time Communication Protocol That Supports Dynamic QoS Management on Ethernet-Based Systems, IEEE Transactions on Industrial Informatics, vol.1, issue.3, pp.162-172, 2005.
DOI : 10.1109/TII.2005.852068

L. T. Phan, S. Chakraborty, and P. S. Thiagarajan, A Multi-mode Real-Time Calculus, 2008 Real-Time Systems Symposium, 2008.
DOI : 10.1109/RTSS.2008.47

D. Potop-butucaru, R. Simone, Y. Sorel, and J. Talpin, Clock-driven distributed real-time implementation of endochronous synchronous programs, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, 2009.
DOI : 10.1145/1629335.1629356
URL : https://hal.archives-ouvertes.fr/inria-00485007

R. Bosch and G. , CAN Specification, 1991.

D. Salyers, A. Striegel, and C. Poellabauer, A Light Weight Method for Maintaining Clock Synchronization for Networked Systems, 2008 Proceedings of 17th International Conference on Computer Communications and Networks, pp.522-526, 2008.
DOI : 10.1109/ICCCN.2008.ECP.105

K. Sun, P. Ning, and C. Wang, Secure and resilient clock synchronization in wireless sensor networks, IEEE Journal on Selected Areas in Communications, vol.24, issue.2, pp.395-408, 2006.
DOI : 10.1109/JSAC.2005.861396

G. Weiss, S. Fischmeister, M. Anand, and R. Alur, Specification and Analysis of Network Resource Requirements of Control Systems, Proceedings HSCC'09, 2009.
DOI : 10.1109/TAC.2007.904284

D. Wu, B. M. Hashimi, and P. Eles, Scheduling and mapping of conditional task graph for the synthesis of low power embedded systems, Proceedings DATE'03, 2003.
DOI : 10.1049/ip-cdt:20030837

M. Zhang, J. Shi, S. Shen, and T. Zhang, Simple clock synchronization for distributed real-time systems, Proceedings ICIT'08, pp.1-5, 2008.