M. T. Schmitz and M. Bashir, Petru Eles, System-Level Design Techniques for Energy-Efficient Embedded Systems, 2004.

S. Lafortune and C. G. Cassandras, Introduction to Discrete Event System, 2008.

R. Karri and D. Goodman, System-Level Power Optimization for Wireless Multimedia Communication, 2002.
DOI : 10.1007/b117504

C. Constantinescu, Dependability Evaluation of a Fault-Tolerant Processor by GSPN Modeling, IEEE Transactions on Reliability, vol.54, issue.3, pp.468-474, 2005.
DOI : 10.1109/TR.2005.853038

P. Chimento, J. Jogesh, K. Muppala, G. Ciardo, A. Blakemore et al., Automated generation and analysis of markov reward models using stochastic reward nets, Linear Algebra, Markov Chains and Queuing Models, pp.145-191, 1993.

N. Ferry, S. Ducloyer, N. Julien, and D. Jutel, Power/Energy Estimator for DesigningWSN Nodes with Ambient Energy Harvesting Feature, EURASIP Journal on Embedded Systems, 2011.

M. A. Lopez-gomez and J. C. , Tejero-Calado, A lightweight and energyefficient architecture for wireless sensor networks, IEEE Transactions on Consumer Electronics, pp.1408-1416, 2009.

J. Muppala, G. Ciardo, and K. S. Trivedi, Spnp: Stochastic petri net package, Proceedings of the Third International IEEE Workshop, pp.142-151, 1989.

M. Ringwald and K. , Romer, Deployment of sensor networks: Problems and passive inspection, Fifth IEEE Workshop on Intelligent Solutions in Embedded Systems, pp.179-192, 2007.

J. Suhonen, M. Hanninen, T. D. Hamalainen, and M. Hannikainen, Remote diagnostics and performance analysis for a wireless sensor network, 2011 IEEE Workshop on Signal Processing Systems (SiPS), pp.67-72, 2011.
DOI : 10.1109/SiPS.2011.6088951

K. Romer, M. Ringwald, and A. Vitaletti, Snif: Sensor network inspection framework, ETH Zurich, 2006.

H. Hassanein and J. Luo, Reliable Energy Aware Routing In Wireless Sensor Networks, Second IEEE Workshop on Dependability and Security in Sensor Networks and Systems, pp.54-64, 2006.
DOI : 10.1109/DSSNS.2006.10