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

I. Berrada, R. Castanet, and P. Félix, Testing Communicating Systems: a Model, a Methodology, and a Tool, 17th IFIP International Conference on Testing of Communicating Systems, 2005.
DOI : 10.1007/978-3-540-30232-2_10
URL : https://hal.archives-ouvertes.fr/hal-00408493

A. Bertolino, F. Corradini, P. Inveradi, and H. Muccini, Deriving test plans from architectural descriptions, Proceedings of the 22nd international conference on Software engineering , ICSE '00, 2000.
DOI : 10.1145/337180.337205
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.1918

J. Blom, A. Hessel, B. Jonsson, and P. Pettersson, Specifying and Generating Test Cases Using Observer Automata, Proc. 4 th International Workshop on Formal Approaches to Testing of Software, pp.125-139, 2004.
DOI : 10.1007/3-540-40911-4_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.3418

A. Adilson-luiz-bonifácio, S. Vieira-moura, . Adenilso, and . Silva, A generalized model-based test generation method, SEFM '08: Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.139-148, 2008.

L. Cacciari and O. Rafiq, Controllability and observability in distributed testing. Information and Software Technology, pp.767-780, 1999.

R. Cardell-oliver, K. Smettem, M. Kranz, and K. Mayer, Field Testing a Wireless Sensor Network for Reactive Environmental Monitoring, Proceedings of the 2004 Intelligent Sensors, Sensor Networks and Information Processing Conference, 2004., pp.14-17, 2004.
DOI : 10.1109/ISSNIP.2004.1417429

T. S. Chow, Testing Software Design Modeled by Finite-State Machines, IEEE Transactions on Software Engineering, vol.4, issue.3, pp.178-187, 1978.
DOI : 10.1109/TSE.1978.231496

C. Constant, Génération automatique de tests pour des modèles avec variables ou récursivité, p.424546, 2008.

V. Handziski, A. Köpke, A. Willig, and A. Wolisz, TWIST, Proceedings of the second international workshop on Multi-hop ad hoc networks: from theory to reality , REALMAN '06, pp.63-70, 2006.
DOI : 10.1145/1132983.1132995

A. Hessel and P. Pettersson, A test case generation algorithm for real-time systems, Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings., pp.268-273, 2004.
DOI : 10.1109/QSIC.2004.1357969

W. Hoarau, Injection de fautes dans les systèmes distribués, 21 mars, 2008.

D. Johnson, T. Stack, R. Fish, D. M. Flickinger, L. Stoller et al., Mobile Emulab: A Robotic Wireless and Sensor Network Testbed, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications, 2006.
DOI : 10.1109/INFOCOM.2006.182
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.331.5433

S. Fujiwara-bochmann-khendek, G. V. Fujiwara, F. Bochmann, M. Khendek, A. Amalou et al., Test selection based on finite state models, IEEE Transactions on Software Engineering, vol.17, issue.6, pp.591-603, 1991.
DOI : 10.1109/32.87284

A. Khoumsi, Testing distributed real-time systems in the presence of inaccurate clock synchronizations, Information and Software Technology, vol.45, issue.12, 2003.
DOI : 10.1016/S0950-5849(03)00064-8

A. Khoumsi, Test execution for distributed real time systems

A. Khoumsi, Testing distributed real time systems using a distributed test architecture, Proceedings. Sixth IEEE Symposium on Computers and Communications, p.648, 2001.
DOI : 10.1109/ISCC.2001.935444

D. Lee and M. Yannakakis, Principles and methods of testing finite state machines-a survey, Proceedings of the IEEE, vol.84, issue.8
DOI : 10.1109/5.533956

F. J. and Y. Luo, A diagnostic method for non-deterministic finite state machines, 1996.

C. E. Pereira and L. Carro, Distributed real-time embedded systems: Recent advances, future trends and their impact on manufacturing plant control, Annual Reviews in Control, vol.31, issue.1, pp.81-92, 2007.
DOI : 10.1016/j.arcontrol.2007.02.005

D. Raychaudhuri, M. Ott, and I. Secker, Orbit radio grid tested for evaluation of next-generation wireless network protocols, TRIDENTCOM '05: Proceedings of the First International Conference on Testbeds and Research Infrastructures for the DEvelopment of NeTworks and COMmunities, pp.308-309, 2005.

A. A. Saifan, E. Posse, and J. Dingel, Run-time conformance checking of mobile and distributed systems using executable models, Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging, PADTAD '09, pp.1-11, 2009.
DOI : 10.1145/1639622.1639623

H. Schmidt, Trustworthy components-compositionality and prediction. The Journal of Systems and Software, pp.215-225, 2003.
DOI : 10.1016/s0164-1212(02)00045-6

B. Abhishek, L. Sharma, R. Golubchik, and . Govindan, Sensor faults: Detection methods and prevalence in real-world datasets, ACM Transactions on Sensor Networks (TOSN), vol.6, issue.3, pp.1-39, 2010.

A. Tesanovic, D. Nystrom, J. Hansson, and C. Norstrom, Towards aspectual component-based development of real-time systems, Proceeding of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications, 2003.

G. Werner-allen, P. Swieskowski, and M. Welsh, MoteLab: a wireless sensor network testbed, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005., p.68, 2005.
DOI : 10.1109/IPSN.2005.1440979
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.7518

]. J. Zalewski, Developing component-based software for real-time systems, Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey, 2001.
DOI : 10.1109/EURMIC.2001.952441
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.8313

P. Zimmerer, Test architectures for testing distributed systems, 12th International software quality week (QW'99), 1999.