K. Altisen and S. Tripakis, Tools for controller synthesis of timed systems, Proc. 2nd Work. on Real-Time Tools (RT-TOOLS'02) Proc. published as Technical, 2002.

R. Alur and D. 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

R. Alur, S. L. Torre, and G. J. Pappas, Optimal Paths in Weighted Timed Automata, Proc. of 4 th Work. Hybrid Systems: Computation and Control (HSCC'01), pp.49-62, 2001.
DOI : 10.1007/3-540-45351-2_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.5055

H. R. Andersen, Model checking and boolean graphs, Theoretical Computer Science, vol.126, issue.1, pp.3-30, 1994.
DOI : 10.1016/0304-3975(94)90266-6
URL : http://dx.doi.org/10.1016/0304-3975(94)90266-6

E. Asarin and O. Maler, As Soon as Possible: Time Optimal Control for Timed Automata, Proc. 2nd Work. Hybrid Systems: Computation & Control (HSCC'99), volume 1569 of LNCS, pp.19-30, 1999.
DOI : 10.1007/3-540-48983-5_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.3430

E. Asarin, O. Maler, A. Pnueli, and J. Sifakis, Controller Synthesis for Timed Automata, Proc. IFAC Symp. on System Structure & Control, pp.469-474, 1998.

G. Behrmann, Distributed reachability analysis in timed automata, International Journal on Software Tools for Technology Transfer, vol.11, issue.1, pp.19-30, 2005.
DOI : 10.1007/s10009-003-0111-z

M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis et al., Kronos: a Model-Checking Tool for Real-Time Systems, Proc. 10 th Conf. on Computer Aided Verification (CAV'98), volume 1427 of LNCS, pp.546-550, 1998.
URL : https://hal.archives-ouvertes.fr/hal-00374788

L. De-alfaro, T. A. Henzinger, and R. Majumdar, Symbolic Algorithms for Infinite-State Games, Proc. 12 th Conf. on Concurrency Theory (CONCUR'01), pp.536-550, 2001.
DOI : 10.1007/3-540-44685-0_36

J. Gerard and . Holzmann, The SPIN Model Checker, 2003.

S. , L. Torre, S. Mukhopadhyay, and A. Murano, Optimal-Reachability and Control for Acyclic Weighted Timed Automata, Proc. 2 nd IFIP Conf. on Theoretical Computer Science, pp.485-497, 2002.
DOI : 10.1007/978-0-387-35608-2_40
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.419.4933

K. G. Larsen, Efficient local correctness checking, Proc. of Conf. of Computer Assisted Verification (CAV'92), pp.30-43, 1992.
DOI : 10.1007/3-540-56496-9_4

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

C. Lewerentz and T. Lindner, Production Cell: A Comparative Study in Formal Specification and Verification, Methods, Languages & Tools for Construction of Correct Software, pp.388-416, 1995.

X. Liu and S. Smolka, Simple linear-time algorithms for minimal fixed points, Proc. 26 th Conf. on Automata, Languages and Programming (ICALP'98), volume 1443 of LNCS, pp.53-66, 1998.
DOI : 10.1007/BFb0055040

O. Maler, A. Pnueli, and J. Sifakis, On the synthesis of discrete controllers for timed systems, Proc. 12 th Symp. on Theoretical Aspects of Computer Science (STACS'95), pp.229-242, 1995.
DOI : 10.1007/3-540-59042-0_76

H. Melcher and K. Winkelmann, Controller synthesis for the ???production cell??? case study, Proceedings of the second workshop on Formal methods in software practice , FMSP '98, pp.24-36, 1998.
DOI : 10.1145/298595.298601

J. Rasmussen, K. G. Larsen, and K. Subramani, Resource-Optimal Scheduling Using Priced Timed Automata, Proc. 10 th Conf. on Tools and Algorithms for the Construction and Analysis of Systems, pp.220-235, 2004.
DOI : 10.1007/978-3-540-24730-2_19
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.9491

W. Thomas, On the synthesis of strategies in infinite games, Proc. 12 th Symp. on Theoretical Aspects of Computer Science (STACS'95), pp.1-13, 1995.
DOI : 10.1007/3-540-59042-0_57

S. Tripakis and K. Altisen, On-the-Fly Controller Synthesis for Discrete and Timed Systems, Proc. of World Congress on Formal Methods (FM'99), pp.233-252, 1999.