Y. Abdeddaï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

K. Altisen, A framework for scheduler synthesis, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), pp.154-163, 1999.
DOI : 10.1109/REAL.1999.818838

R. Alur, M. Bernadsky, and P. Madhusudan, Optimal Reachability for Weighted Timed Games, Proc. 31st International Colloquium on Automata, Languages and Programming, pp.122-133, 2004.
DOI : 10.1007/978-3-540-27836-8_13

R. Alur, C. Courcoubetis, and D. L. Dill, Modelchecking for real-time systems, Proc. 5th Annual Symposium on Logic in Computer Science (LICS'90), pp.414-425, 1990.

R. Alur and D. L. Dill, Automata for modeling real-time systems, Proc. 17th International Colloquium on Automata, Languages and Programming (ICALP'90), pp.322-335, 1990.
DOI : 10.1007/BFb0032042

R. Alur, S. L. Torre, and G. J. Pappas, Optimal paths in weighted timed automata, Proc. 4th International Workshop on Hybrid Systems: Computation and Control (HSCC'01), Lecture Notes in Computer Science 2034, pp.49-62, 2001.

E. Asarin and O. Maler, As Soon as Possible: Time Optimal Control for Timed Automata, Proc. 2nd International Workshop on Hybrid Systems: Computation and Control (HSCC'99), Lecture Notes in Computer Science 1569, pp.19-30, 1999.
DOI : 10.1007/3-540-48983-5_6

E. Asarin, Controller synthesis for timed automata, Proc. IFAC Symposium on System Structure and Control, pp.469-474, 1998.

G. Behrmann, Efficient Guiding Towards Cost-Optimality in UPPAAL, Proc. 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), Lecture Notes in Computer Science 2031, pp.174-188, 2001.
DOI : 10.7146/brics.v8i4.20458

G. Behrmann, Minimum-Cost Reachability for Priced Timed Automata, Proc. 4th International Workshop on Hybrid Systems: Computation and Control (HSCC'01), pp.147-161, 2001.
DOI : 10.7146/brics.v8i3.20457

B. Bérard and C. Dufourd, Timed automata and additive clock constraints, Information Processing Letters, vol.75, issue.1-2, pp.1-7, 2000.
DOI : 10.1016/S0020-0190(00)00075-2

P. Bouyer, Forward analysis of updatable timed automata. Formal Methods in System Design, pp.281-320, 2004.

P. Bouyer, E. Brinksma, and K. G. Larsen, Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design, pp.2-23, 2008.

P. Bouyer, Infinite Runs in Weighted Timed Automata with Energy Constraints, Proc. 6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'08), 2008.
DOI : 10.1007/978-3-540-85778-5_4
URL : https://hal.archives-ouvertes.fr/hal-01194594

P. Bouyer, Almost Optimal Strategies in One Clock Priced Timed Games, Proc. 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), pp.345-356, 2006.
DOI : 10.1007/11944836_32

M. Bozga, Verification of Asynchronous Circuits using Timed Automata, Electronic Notes in Theoretical Computer Science, vol.65, issue.6, 2002.
DOI : 10.1016/S1571-0661(04)80468-7
URL : https://hal.archives-ouvertes.fr/hal-00374812

. Th, V. Brihaye, J. Bruyère, and . Raskin, On optimal timed strategies, Proc. 3rd International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'05), pp.49-64, 2005.

F. Cassez, Efficient On-the-Fly Algorithms for the Analysis of Timed Games, Proc. 16th International Conference on Concurrency Theory (CONCUR'05), pp.66-80, 2005.
DOI : 10.1007/11539452_9
URL : https://hal.archives-ouvertes.fr/hal-00350475

F. Cassez, Timed Control with Observation Based and Stuttering Invariant Strategies, Proc. 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), pp.192-206, 2007.
DOI : 10.1007/978-3-540-75596-8_15
URL : https://hal.archives-ouvertes.fr/hal-00218336

F. Cassez, Automatic Synthesis of Robust and Optimal Controllers ??? An Industrial Case Study, Proc. 12th International Workshop on Hybrid Systems: Computation and Control (HSCC'09), Lecture Notes in Computer Science 5469, 2009.
DOI : 10.1007/978-3-540-75454-1_17
URL : https://hal.archives-ouvertes.fr/inria-00493634

A. Chakrabarti, Resource Interfaces, Proc. 3rd International Workshop on Embedded Software (EMSOFT'03), Lecture Notes in Computer Science 2855, 2003.
DOI : 10.1007/978-3-540-45212-6_9

A. David, Model-Based Framework for Schedulability Analysis Using UPPAAL 4.1, Model-Based Design for Embedded Systems, pp.93-119, 2009.
DOI : 10.1201/9781420067859-c4

H. Dierks, PLC-automata: a new class of implementable real-time automata, Theoretical Computer Science, vol.253, issue.1, pp.61-93, 2001.
DOI : 10.1016/S0304-3975(00)00089-X

H. Dierks, Finding optimal plans for domains with continuous effects with UPPAAL CORA

U. Fahrenberg and K. G. Larsen, Discount-Optimal Infinite Runs in Priced Timed Automata, Electronic Notes in Theoretical Computer Science, vol.239, pp.179-191, 2009.
DOI : 10.1016/j.entcs.2009.05.039

E. Fersman, Schedulability analysis of fixed-priority systems using timed automata, Proc. 18th IEEE Real-Time Systems Symposium (RTSS'97, pp.301-317, 1997.
DOI : 10.1016/j.tcs.2005.11.019

M. Hendriks, B. Van-den-nieuwelaar, and F. W. Vaandrager, Model checker aided design of a controller for a wafer scanner, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.633-647, 2006.
DOI : 10.1007/s10009-006-0025-7

. A. Th and . Henzinger, What's decidable about hybrid automata, Journal of Computer and System Sciences, vol.57, issue.1, pp.94-124, 1998.

. A. Th and . Henzinger, Symbolic modelchecking for real-time systems, Information and Computation, vol.111, issue.2, pp.193-244, 1994.

G. Igna, Formal Modeling and Scheduling of Datapaths of Digital Document Printers, Proc. 6th International Conference on Formal Modeling and Analysis of Timed Systems (FOR- MATS'08), pp.170-187, 2008.
DOI : 10.1007/978-3-540-85778-5_13

J. J. Jessen, Guided Controller Synthesis for Climate Controller Using Uppaal Tiga, Proc. 5th International Conference on Formal Modeling and Analysis of Timed Systems (FOR- MATS'07), pp.227-240, 2007.
DOI : 10.1007/978-3-540-75454-1_17

Y. Kesten, Decidable integration graphs. Information and Computation, pp.209-243, 1999.

K. G. Larsen, As Cheap as Possible: Effcient Cost-Optimal Reachability for Priced Timed Automata, Proc. 13th International Conference on Computer Aided Verification (CAV'01), Lecture Notes in Computer Science 2102, pp.493-505, 2001.
DOI : 10.1007/3-540-44585-4_47

K. G. Larsen and J. I. Rasmussen, Optimal reachability for multi-priced timed automata, Theoretical Computer Science, vol.390, issue.2-3, pp.197-213, 2008.
DOI : 10.1016/j.tcs.2007.09.021

A. Mader and H. Wupper, Timed automaton models for simple programmable logic controllers, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99, pp.106-113, 1999.
DOI : 10.1109/EMRTS.1999.777456

M. Schuts, Modelling clock synchronization in the Chess gMAC WSN protocol. CoRR, abs/0912, 1901.

S. Tripakis and K. Altisen, On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems, Proc. World Congress on Formal Methods in the Development of Computing Systems (FM'99), Lecture Notes in Computer Science 1708, pp.233-252, 1999.
DOI : 10.1007/3-540-48119-2_15

S. Tripakis and S. Yovine, Timing Analysis and Code Generation of Vehicle Control Software using Taxys, Electronic Notes in Theoretical Computer Science, vol.55, issue.2, 2001.
DOI : 10.1016/S1571-0661(04)00257-9

L. Waszniowski and Z. Hanzálek, Formal verification of multitasking applications based on timed automata model. Real-Time Systems, pp.39-65, 2008.