L. Aceto, A. Ingólfsdóttir, K. G. Larsen, and J. Srba, Reactive Systems, 2007.
DOI : 10.1017/CBO9780511814105

S. Xavier-allamigeon, É. Gaubert, and . Goubault, Inferring Min and Max Invariants Using Max-Plus Polyhedra, SAS, pp.189-204, 2008.
DOI : 10.1007/978-3-540-69166-2_13

S. Xavier-allamigeon, É. Gaubert, and . Goubault, Computing the extreme points of tropical polyhedra, 2009.

S. Xavier-allamigeon, É. Gaubert, and . Goubault, The tropical double description method, STACS Schloss Dagstuhl -Leibniz-Zentrum für Informatik, pp.47-58, 2010.

R. Alur, C. Courcoubetis, D. L. Dill, N. Halbwachs, and H. Wong-toi, An implementation of three algorithms for timing verification based on automata emptiness, [1992] Proceedings Real-Time Systems Symposium, pp.157-166, 1992.
DOI : 10.1109/REAL.1992.242667

R. Alur and D. L. Dill, Automata for modeling real-time systems, Lecture Notes in Computer Science, vol.443, pp.322-335, 1990.
DOI : 10.1007/BFb0032042

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

E. Asarin, M. Bozga, A. Kerbrat, O. Maler, A. Pnueli et al., Data-structures for the verification of timed automata, Time Systems Lecture Notes in Computer Science, vol.1201, pp.346-360
DOI : 10.1007/BFb0014737

R. Bagnara, E. Ricci, E. Zaffanella, and P. M. Hill, Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library, Proceedings of the 9th International Symposium on Static Analysis, pp.213-229, 2002.
DOI : 10.1007/3-540-45789-5_17

G. Behrmann, P. Bouyer, K. G. Larsen, and R. Pelánek, Lower and upper bounds in zone-based abstractions of timed automata, International Journal on Software Tools for Technology Transfer, vol.1, issue.1???2, pp.204-215, 2006.
DOI : 10.1007/s10009-005-0190-0

G. Behrmann, K. G. Larsen, J. Pearson, C. Weise, and W. Yi, Efficient timed reachability analysis using clock difference diagrams, Proc. CAV'99, pp.682-682, 1999.
DOI : 10.7146/brics.v5i47.19492

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.4832

J. Bengtsson, Clocks, DBMs, and States in Timed Systems, 2002.

P. Bouyer, F. Laroussinie, and P. Reynier, Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems, Proc. FORMATS'05, pp.112-126, 2005.
DOI : 10.1007/11603009_10

M. Bozga, O. Maler, A. Pnueli, and S. Yovine, Some progress in the symbolic verification of timed automata, In Lecture Notes in Computer Science, pp.179-190, 1997.
DOI : 10.1007/3-540-63166-6_19

URL : https://hal.archives-ouvertes.fr/hal-00374086

P. Butkovi?, H. Schneider, and S. Sergeev, Generators, extremals and bases of max cones, Linear Algebra and its Applications, vol.421, issue.2-3, pp.394-406, 2007.
DOI : 10.1016/j.laa.2006.10.004

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, pp.84-96, 1978.
DOI : 10.1145/512760.512770

L. David and . Dill, Timing assumptions and verification of finite-state concurrent systems Automatic Verification Methods for Finite State Systems, Lecture Notes in Computer Science, vol.407, pp.197-212, 1989.

J. Dyhrberg, Q. Lu, M. Madsen, and S. Ravn, Computations on zones using max-plus algebra. Bachelor's project, 2010.

R. Ehlers, D. Fass, M. Gerke, and H. Peter, Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams, 2010 31st IEEE Real-Time Systems Symposium, pp.360-371, 2010.
DOI : 10.1109/RTSS.2010.36

U. Fahrenberg, K. G. Larsen, and C. Thrane, Verification, Performance Analysis and Controller Synthesis for Real-Time Systems, Engineering Methods and Tools for Software Safety and Security NATO Science for Peace and Security Series ? D: Information and Communication Security, 2009.
DOI : 10.1007/978-3-642-11623-0_2

R. W. Floyd, Algorithm 97: Shortest path, Communications of the ACM, vol.5, issue.6, p.345, 1962.
DOI : 10.1145/367766.368168

S. Gaubert and R. D. Katz, The Minkowski theorem for max-plus convex sets, Linear Algebra and its Applications, vol.421, issue.2-3, pp.356-369, 2007.
DOI : 10.1016/j.laa.2006.09.019

URL : https://hal.archives-ouvertes.fr/inria-00071358

R. Giacobazzi and F. Ranzato, Compositional optimization of disjunctive abstract interpretations, Proc. of the 1996 European Symposium on Programming, pp.141-155, 1996.
DOI : 10.1007/3-540-61055-3_34

T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.193-244, 1994.
DOI : 10.1109/LICS.1992.185551

URL : http://doi.org/10.1006/inco.1994.1045

K. G. Larsen, J. Pearson, C. Weise, and W. Yi, Clock Difference Diagrams, BRICS Report Series, vol.5, issue.46, pp.271-298, 1999.
DOI : 10.7146/brics.v5i46.19491

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.1868

Q. Lu, M. Madsen, M. Milata, and S. Ravn, Computations on zones using max-plus algebra, 2011.

A. Miné, A New Numerical Abstract Domain Based on Difference-Bound Matrices, Proceedings of the 2nd Symposium on Programs as Data Objects, pp.155-172, 2001.
DOI : 10.1007/3-540-44978-7_10

A. Miné, The octagon abstract domain, IEEE, pp.310-319, 2001.

B. Jesper, J. Møller, H. R. Lichtenberg, H. Andersen, and . Hulgaard, Difference decision diagrams, Lecture Notes in Computer Science, vol.1683, pp.111-125, 1999.

S. Sankaranarayanan, F. Ivancic, I. Shlyakhter, and A. Gupta, Static Analysis in Disjunctive Numerical Domains, Static Analysis, pp.3-17, 1007.
DOI : 10.1007/11823230_2

S. Yovine, KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.123-133, 1997.
DOI : 10.1007/s100090050009

K. Zimmermann, A general separation theorem in extremal algebras, Ehkon.-Mat. Obz, vol.13, pp.179-201, 1977.