R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

F. Arbab, Puff, The Magic Protocol, Biological Systems, pp.169-206, 2011.
DOI : 10.1007/978-3-642-21464-6_13

C. Baier, M. Sirjani, F. Arbab, and J. Rutten, Modeling component connectors in Reo by constraint automata, Science of Computer Programming, vol.61, issue.2, pp.75-113, 2006.
DOI : 10.1016/j.scico.2005.10.008

M. A. Bamakhrama and T. P. Stefanov, On the hard-real-time scheduling of embedded streaming applications, Design Automation for Embedded Systems, vol.1, issue.9, pp.221-249, 2013.
DOI : 10.1109/ACSD.2006.23

P. Bouyer, F. Cassez, E. Fleury, and K. G. Larsen, Optimal strategies in priced timed game automata, Proc. of FSTTCS '04, pp.148-160
DOI : 10.1007/978-3-540-30538-5_13
URL : https://hal.archives-ouvertes.fr/hal-00350483

P. Bouyer, F. Cassez, E. Fleury, and K. G. Larsen, Synthesis of Optimal Strategies Using HyTech, Electronic Notes in Theoretical Computer Science, vol.119, issue.1, pp.11-31, 2005.
DOI : 10.1016/j.entcs.2004.07.006
URL : https://hal.archives-ouvertes.fr/hal-00350478

L. Brim, J. Chaloupka, L. Doyen, R. Gentilini, and J. F. Raskin, Faster algorithms for mean-payoff games, Formal Methods in System Design, vol.158, issue.24, pp.97-118, 2011.
DOI : 10.1016/0304-3975(95)00188-3
URL : http://www.fi.muni.cz/reports/files/2009/FIMU-RS-2009-08.pdf

F. Cassez, A. David, E. Fleury, K. G. Larsen, and D. Lime, Efficient On-the-Fly Algorithms for the Analysis of Timed Games, Proc. of CONCUR, pp.66-80, 2005.
DOI : 10.1007/11539452_9
URL : https://hal.archives-ouvertes.fr/hal-00350475

X. Chen, J. Sun, and M. Sun, A Hybrid Model of Connectors in Cyber-Physical Systems, Proc. of ICFEM, pp.59-74, 2014.
DOI : 10.1007/978-3-319-11737-9_5

M. Crovella, R. Frangioso, and M. Harchol-balter, Connection scheduling in web servers, Proc. of USITS, pp.243-254, 1999.

M. Droste, W. Kuich, and H. Vogler, Handbook of weighted automata, 2009.
DOI : 10.1007/978-3-642-01492-5

A. Ehrenfeucht and J. Mycielski, Positional strategies for mean payoff games, International Journal of Game Theory, vol.59, issue.2, pp.109-113, 1979.
DOI : 10.1007/BF01768705

H. L. Gantt, Work, wages, and profits. Engineering Magazine Co, 1913.

T. A. Henzinger, The theory of hybrid automata, 2000.

N. K. Jha, Low power system scheduling and synthesis, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281), pp.259-263, 2001.
DOI : 10.1109/ICCAD.2001.968629

C. Koehler and D. Clarke, Decomposing port automata, Proceedings of the 2009 ACM symposium on Applied Computing, SAC '09, pp.1369-1373, 2009.
DOI : 10.1145/1529282.1529587

O. Maler, A. Pnueli, and J. Sifakis, On the synthesis of discrete controllers for timed systems, Proc. of STACS, pp.229-242, 1995.
DOI : 10.1007/3-540-59042-0_76

W. Thies, M. Karczmarek, and S. Amarasinghe, StreamIt: A Language for Streaming Applications, Proc. of ETAPS, pp.179-196, 2002.
DOI : 10.1007/3-540-45937-5_14
URL : http://www.cag.lcs.mit.edu/~thies/papers/streamit-cc.pdf