R. 1. Adams, M. Björk, T. F. Melham, and C. H. Seger, Automatic Abstraction in Symbolic Trajectory Evaluation, Formal Methods in Computer Aided Design (FMCAD'07), pp.127-135, 2007.
DOI : 10.1109/FAMCAD.2007.27

B. Akbal-delibas, P. Boonma, and J. Suzuki, Extensible and Precise Modeling for Wireless Sensor Networks, UNISCON, pp.551-562, 2009.
DOI : 10.1007/978-3-642-01112-2_55

I. F. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci, A survey on sensor networks, IEEE Communications Magazine, vol.40, issue.8, pp.40102-114, 2002.
DOI : 10.1109/MCOM.2002.1024422

P. Baldwin, S. Kohli, E. A. Lee, X. Liu, Y. Zhao et al., Visualsense: Visual modeling for wireless and sensor network systems, 2005.

J. R. Burch, E. M. Clarke, K. L. Mcmillan, D. L. Dill, and L. Hwang, Symbolic model checking: 10/sup 20/ states and beyond, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.1-33, 1990.
DOI : 10.1109/LICS.1990.113767

A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore et al., NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Computer Aided Verification, pp.241-268, 2002.
DOI : 10.1007/3-540-45657-0_29

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

S. C. Ergen, M. Ergen, and T. J. Koo, Lifetime analysis of a sensor network with hybrid automata modelling, WSNA, pp.98-104, 2002.

O. Gnawali and M. Welsh, Sensor Networks Architectures and Protocols, Emerging Wireless Technologies and the Future Mobile Internet, pp.125-153, 2011.
DOI : 10.1017/CBO9780511921117.006

A. Mainwaring, D. Culler, J. Polastre, R. Szewczyk, and J. Anderson, Wireless sensor networks for habitat monitoring, Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications , WSNA '02, pp.88-97, 2002.
DOI : 10.1145/570738.570751

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767

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

L. Mounier, L. Samper, and W. Znaidi, Worst-case lifetime computation of a wireless sensor network by model-checking, Proceedings of the 4th ACM workshop on Performance evaluation of wireless ad hoc, sensor,and ubiquitous networks , PE-WASUN '07, pp.1-8, 2007.
DOI : 10.1145/1298197.1298199

P. C. Ölveczky and S. Thorvaldsen, Formal modeling and analysis of the ogdc wireless sensor network algorithm in real-time maude, 9th Int. conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS), pp.122-140, 2007.

C. Otto, A. Milenkovi´cmilenkovi´c, C. Sanders, and E. Jovanov, System architecture of a wireless body area sensor network for ubiquitous health monitoring, J. Mob. Multimed, vol.1, pp.307-326, 2005.

K. Sohraby, D. Minoli, and T. Znati, Wireless sensor networks: technology, protocols and applications, 2007.
DOI : 10.1002/047011276X

Y. Thierry-mieg, B. Bérard, F. Kordon, D. Lime, and O. H. Roux, Compositional Analysis of Discrete Time Petri nets, 1st workshop on Petri Nets Compositions, pp.17-31, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01282489

Y. Thierry-mieg, C. Dutheillet, and I. Mounier, Automatic Symmetry Detection in Well-Formed Nets, Proc. of ICATPN 2003, pp.82-101, 2003.
DOI : 10.1007/3-540-44919-1_9

Y. Thierry-mieg and L. Hillah, UML behavioral consistency checking using instantiable Petri nets, Innovations in Systems and Software Engineering, vol.45, issue.3, pp.293-300, 2008.
DOI : 10.1007/s11334-008-0065-0

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

Y. Thierry-mieg, D. Poitrenaud, A. Hamez, and F. Kordon, Hierarchical Set Decision Diagrams and Regular Models, 15th Int. conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp.1-15, 2009.
DOI : 10.1007/978-3-540-68746-7_16

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

S. Tschirner, L. Xuedong, and W. Yi, Model-based validation of QoS properties of biomedical sensor networks, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, pp.69-78, 2008.
DOI : 10.1145/1450058.1450069

F. Vicente-chicote, B. Losilla, A. Álvarez, P. Iborra, and . Sánchez, APPLYING MDE TO THE DEVELOPMENT OF FLEXIBLE AND REUSABLE WIRELESS SENSOR NETWORKS, International Journal of Cooperative Information Systems, vol.16, issue.03n04, pp.393-412, 2007.
DOI : 10.1142/S021884300700172X

H. Wada, P. Boonma, J. Suzuki, and K. Oba, Modeling and executing adaptive sensor network applications with the Matilda UML virtual machine, 11th IASTED Int. conf. on Software Engineering and Applications (SEA), pp.216-225, 2007.

Y. Yao and J. Gehrke, The cougar approach to in-network query processing in sensor networks, ACM SIGMOD Record, vol.31, issue.3, p.31, 2002.
DOI : 10.1145/601858.601861