F. Aarts and F. W. Vaandrager, Learning I/O Automata, In CONCUR LNCS, vol.6269, pp.71-85, 2010.
DOI : 10.1007/978-3-642-15375-4_6

Y. Abdedda¨?mabdedda¨?m, E. Asarin, and O. Maler, Scheduling with timed automata, Theoretical Computer Science, vol.354, issue.2, pp.272-300, 2006.
DOI : 10.1016/j.tcs.2005.11.018

T. Abdellatif, J. Combaz, and J. Sifakis, Model-based implementation of real-time applications, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.229-238, 2010.
DOI : 10.1145/1879021.1879052

R. Alur, T. A. Henzinger, O. Kupferman, and M. Y. Vardi, Alternating refinement relations, CONCUR '98, pp.163-178, 1998.
DOI : 10.1007/BFb0055622
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.1421

A. Basu, S. Bensalem, P. Bourgos, M. Bozga, K. Huang et al., Rigorous system level modeling and analysis of mixed HW/SW systems, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00722402

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, pp.41-48, 2011.
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395

A. Basu, L. Mounier, M. Poulhì-es, J. Pulou, and J. Sifakis, Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks, Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), pp.257-260, 2007.
DOI : 10.1109/NCA.2007.52

S. S. Bauer, P. Mayer, A. Schroeder, and R. Hennicker, On Weak Modal Compatibility, Refinement, and the MIO Workbench, TACAS, pp.175-189, 2010.
DOI : 10.1007/978-3-642-12002-2_15

S. Bensalem, M. Bozga, S. Graf, D. Peled, and S. Quinton, Methods for Knowledge Based Controlling of Distributed Systems, ATVA'10, pp.52-66, 2010.
DOI : 10.1007/978-3-642-15643-4_6
URL : https://hal.archives-ouvertes.fr/hal-00557799

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

P. Bouyer, U. Fahrenberg, K. G. Larsen, N. Markey, and J. Srba, Infinite Runs in Weighted Timed Automata with Energy Constraints, FORMATS, pp.33-47, 2008.
DOI : 10.1007/978-3-540-85778-5_4
URL : https://hal.archives-ouvertes.fr/hal-01194594

A. Burns, Preemptive priority based scheduling: An appropriate engineering approach, pp.225-248, 1994.

A. Chakrabarti, L. De-alfaro, T. A. Henzinger, and F. Y. Mang, Synchronous and Bidirectional Component Interfaces, CAV, pp.414-427, 2002.
DOI : 10.1007/3-540-45657-0_34

A. David, K. G. Larsen, A. Legay, U. Nyman, and A. Wasowski, ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems, ATVA, pp.365-370, 2010.
DOI : 10.1007/978-3-642-15643-4_29

A. David, K. G. Larsen, A. Legay, U. Nyman, and A. Wasowski, Timed I/O automata, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.91-100, 2010.
DOI : 10.1145/1755952.1755967

L. De-alfaro, L. D. Da-silva, M. Faella, A. Legay, P. Roy et al., Sociable Interfaces, FroCos, pp.81-105, 2005.
DOI : 10.1007/11559306_5

L. De-alfaro and M. Faella, An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games, CAV, pp.108-120, 2007.
DOI : 10.1007/978-3-540-73368-3_13

L. De-alfaro and T. A. Henzinger, Interface automata, ESEC / SIGSOFT FSE, pp.109-120, 2001.

L. De-alfaro and T. A. Henzinger, Interface Theories for Component-Based Design, EMSOFT, 2001.
DOI : 10.1007/3-540-45449-7_11

L. De-alfaro, T. A. Henzinger, and M. Stoelinga, Timed Interfaces, EMSOFT, volume 2491 of LNCS, pp.108-122, 2002.
DOI : 10.1007/3-540-45828-X_9

L. Doyen, T. A. Henzinger, B. Jobstmann, and T. Petrov, Interface theories with component reuse, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, pp.79-88, 2008.
DOI : 10.1145/1450058.1450070

A. Easwaran, I. Shin, O. Sokolsky, and I. Lee, Incremental schedulability analysis of hierarchical real-time components, Proceedings of the 6th ACM & IEEE International conference on Embedded software , EMSOFT '06, pp.272-281, 2006.
DOI : 10.1145/1176887.1176927

M. Emmi, D. Giannakopoulou, and C. S. Pasareanu, Assume-Guarantee Verification for Interface Automata, In FM LNCS, vol.5014, pp.116-131, 2008.
DOI : 10.1007/978-3-540-68237-0_10

E. Fersman, P. Kr?ál, P. Pettersson, and W. Yi, Task automata: Schedulability, decidability and undecidability, Information and Computation, vol.205, issue.8, pp.1149-1172, 2007.
DOI : 10.1016/j.ic.2007.01.009

S. Graf, D. Peled, and S. Quinton, Monitoring Distributed Systems Using Knowledge, FMOODS, pp.183-197, 2011.
DOI : 10.1016/j.ipl.2004.01.004

H. Kopetz, A. Ademaj, P. Grillinger, and K. Steinhammer, The Time-Triggered Ethernet (TTE) Design, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05), pp.22-33, 2005.
DOI : 10.1109/ISORC.2005.56

M. Miku?ionis, K. G. Larsen, J. I. Rasmussen, B. Nielsen, A. Skou et al., Schedulability Analysis Using Uppaal: Herschel-Planck Case Study, LNCS, vol.6416, issue.2, pp.175-190, 2010.
DOI : 10.1007/978-3-642-16561-0_21

S. Palm, Herschel-Planck ACC ASW: sizing, timing and schedulability analysis, 2006.

S. Quinton and S. Graf, Contract-Based Verification of Hierarchical Systems of Components, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.377-381, 2008.
DOI : 10.1109/SEFM.2008.28

J. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay et al., Modal interfaces, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, pp.87-96, 2009.
DOI : 10.1145/1629335.1629348
URL : https://hal.archives-ouvertes.fr/inria-00555742

J. I. Rasmussen, K. G. Larsen, and K. Subramani, On using priced timed automata to achieve optimal scheduling, Formal Methods in System Design, vol.29, issue.1, pp.97-114, 2006.
DOI : 10.1007/s10703-006-0014-1

I. Shin and I. Lee, Compositional real-time scheduling framework, RTSS, pp.57-67, 2004.

W. Steiner, An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks, 2010 31st IEEE Real-Time Systems Symposium, pp.375-384, 2010.
DOI : 10.1109/RTSS.2010.25

A. Terma, Software timing and sizing budgets