R. Alur, S. L. Torre, and G. J. Pappas, Optimal paths in weighted timed automata, HSCC, pp.49-62, 2001.

G. Behrmann, A. Fehnker, T. Hune, K. G. Larsen, P. Pettersson et al., Minimum-Cost Reachability for Priced Timed Automata, HSCC, pp.147-161, 2001.
DOI : 10.7146/brics.v8i3.20457

L. Stephen, Z. Bloom, and . Ésik, Iteration Theories, 1993.

P. Bouyer, U. Fahrenberg, K. G. Larsen, and N. Markey, Timed automata with observers under energy constraints, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.61-70, 2010.
DOI : 10.1145/1755952.1755963

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

P. Bouyer, K. G. Larsen, and N. Markey, Lower-bound-constrained runs in weighted timed automata, Performance Evaluation, vol.73, pp.91-109, 2014.
DOI : 10.1016/j.peva.2013.11.002
URL : https://hal.archives-ouvertes.fr/hal-01016100

B. Dongol, I. J. Hayes, L. Meinicke, and K. Solin, Towards an Algebra for Real-Time Programs, RAMiCS, pp.50-65, 2012.
DOI : 10.1007/3-540-45442-X_14

Z. Ésik and W. Kuich, Locally Closed Semirings, Monatshefte f?r Mathematik, vol.137, issue.1, pp.21-29, 2002.
DOI : 10.1007/s00605-001-0481-9

Z. Ésik, U. Fahrenberg, and A. Legay, * -continuous Kleene ?-algebras. CoRR, abs/1501, 1118.

Z. Ésik, U. Fahrenberg, and A. Legay, Star-continuous Kleene omega-algebras, DLT, pp.240-251, 2015.

Z. Ésik, U. Fahrenberg, A. Legay, and K. Quaas, Kleene algebras and semimodules for energy problems, ATVA, pp.102-117, 2013.

Z. Ésik and W. Kuich, Modern Automata Theory, 2007.

Z. Ésik and W. Kuich, On Iteration Semiring-Semimodule Pairs, Semigroup Forum, vol.75, issue.1, pp.129-159, 2007.
DOI : 10.1007/s00233-007-0709-7

U. Fahrenberg, L. Juhl, K. G. Larsen, and J. Srba, Energy Games in Multiweighted Automata, ICTAC, pp.95-115, 2011.
DOI : 10.1016/0304-3975(95)00188-3
URL : https://hal.archives-ouvertes.fr/hal-01088043

J. S. Golan, Semirings and their Applications, 1999.
DOI : 10.1007/978-94-015-9333-5

P. Höfner and B. Möller, An algebra of hybrid systems, The Journal of Logic and Algebraic Programming, vol.78, issue.2, pp.74-97, 2009.
DOI : 10.1016/j.jlap.2008.08.005

D. Kozen, On kleene algebras and closed semirings, MFCS, pp.26-47, 1990.
DOI : 10.1007/BFb0029594

D. Kozen, A completeness theorem for Kleene algebras and the algebra of regular events, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.366-390, 1994.
DOI : 10.1109/LICS.1991.151646

K. Quaas, On the Interval-Bound Problem for Weighted Timed Automata, LATA, pp.452-464, 2011.
DOI : 10.1007/978-3-642-21254-3_36