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

R. Jayaseelan, T. Mitra, and X. Li, Estimating the Worst-Case Energy Consumption of Embedded Software, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), pp.81-90, 2006.
DOI : 10.1109/RTAS.2006.17

M. B. Srivastava, A. P. Chandrakasan, and R. W. Brodersen, Predictive system shutdown and other architectural techniques for energy efficient programmable computation, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol.4, issue.1, pp.42-55, 1996.
DOI : 10.1109/92.486080

A. D. Yao and S. Shankar, A scheduling model for reduced CPU energy, Proceedings of IEEE 36th Annual Foundations of Computer Science, pp.374-382, 1995.
DOI : 10.1109/SFCS.1995.492493

I. Hong, G. Qu, M. Potkonjak, and M. B. Srivastava, Synthesis techniques for low-power hard real-time systems on variable voltage processors, Proceedings of the IEEE Real-Time Systems Symposium, ser. RTSS '98, p.178, 1998.

Y. Shin and K. Choi, Power conscious fixed priority scheduling for hard real-time systems, Proceedings of the 36th ACM/IEEE conference on Design automation conference , DAC '99, pp.134-139, 1999.
DOI : 10.1145/309847.309901

C. M. Krishna and Y. H. Lee, Voltage clock scaling adaptive scheduling techniques for low power in hard real-time systems, Proceedings of the 6th IEEE Real-Time Technology and Applications Symposium, ser. RTASâ??00, 2000.

A. Allavena and D. Mossé, Scheduling of frame-based embedded systems with rechargeable, Proceeding of Workshop on Power Management for Real-Time and Embedded Systems (in conjunction with RTAS), 2001.

C. Moser, D. Brunelli, L. Thiele, and L. Benini, Real-time scheduling for energy harvesting sensor nodes, Real-Time Systems, vol.9, issue.2, pp.233-260, 2007.
DOI : 10.1007/s11241-007-9027-0

M. Chetto and H. Ghor, Real-time Scheduling of periodic tasks in a monoprocessor system with a rechargeable battery, WIP Session Proceedings of The 30th IEEE Real-Time Systems Symposium, IEEE, p.45, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00542182

H. Ghor, M. Chetto, and R. H. Chehade, A real-time scheduling framework for embedded systems with environmental energy harvesting, Computers & Electrical Engineering, vol.37, issue.4, pp.498-510, 2011.
DOI : 10.1016/j.compeleceng.2011.05.003

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

M. Chetto, D. Masson, and S. Midonnet, Fixed Priority Scheduling Strategies for Ambient Energy-Harvesting Embedded Systems, 2011 IEEE/ACM International Conference on Green Computing and Communications, pp.50-55
DOI : 10.1109/GreenCom.2011.17

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

Y. Abdeddaïm, E. Asarin, and O. Maler, Scheduling with timed automata, Theoretical Computer Sciences, vol.354, issue.2, 2006.

A. Fehnker, Scheduling a steel plant with timed automata, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306), pp.280-286, 1999.
DOI : 10.1109/RTCSA.1999.811256

E. Fersman, P. Krcál, P. Pettersson, and W. Yi, Task automata: Schedulability, decidability and undecidability, Information and Computation, vol.205, issue.8, pp.1149-1172, 2007.
DOI : 10.1016/j.ic.2007.01.009

URL : http://doi.org/10.1016/j.ic.2007.01.009

Y. Abdeddaïm and D. Masson, Self-suspending periodic real-time tasks using model checking, Work-in-Progress Session of 32nd IEEE Real- Time Systems Symposium, ser. WIP-RTSS'11, 2011.

R. Alur and D. Dill, Automata for modeling real-time systems, International Colloquium on Automata, Languages and Programming (ICALP), 1990.
DOI : 10.1007/BFb0032042

K. Cerans, Algorithmic problems in analysis of real time system specifications, 1992.

Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine, Decidable Integration Graphs, Information and Computation, vol.150, issue.2, pp.209-243, 1999.
DOI : 10.1006/inco.1998.2774

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

D. Kozen and E. , Logics of Programs, Workshop, ser, Lecture Notes in Computer Science, vol.131, 1982.

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

Y. Abdeddaïm and D. Masson, Uppaal implementations