B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, L. Petit et al., Systems and Software Verification: model-checking techniques and tools, pp.978-981, 2001.
DOI : 10.1007/978-3-662-04558-9

S. Bernard, D. Andreu, M. Flotte, P. Cauvet, H. Fleury et al., Testing system-in-package wirelessly, International Conference on Design and Test of Integrated Systems in Nanoscale Technology, 2006. DTIS 2006., pp.5-7, 2006.
DOI : 10.1109/DTIS.2006.1708683
URL : https://hal.archives-ouvertes.fr/lirmm-00102751

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, pp.2741-2756, 2004.
DOI : 10.1137/0216062

C. Falcon, Adding a Low Data Rate Radio ASSP to an ISM Application, Microwave Journal, vol.46, p.10, 2003.

K. Godary, Validation temporelle de réseaux embarqués critiques et fiables pour l'automobile, 2004.

D. Guiraud, T. Stieglitz, K. P. Koch, J. L. Divoux, and P. Rabischong, An implantable neuroprosthesis for standing and walking in paraplegia: 5-year patient follow-up, Journal of Neural Engineering, vol.3, issue.4, pp.268-275, 2006.
DOI : 10.1088/1741-2560/3/4/003

G. Guiraud, D. Andreu, G. Cathebras, Y. Bertrand, S. Bernard et al., Dispositif de répartition de courant entre des cathodes d'une électrode multipolaire, notamment d'un implant, 2004.

H. Kopetz and G. Bauer, The time-triggered architecture, Proceedings of the IEEE, vol.91, pp.1-112, 2003.

G. E. Loeb, R. A. Peck, W. H. Moore, and K. Hood, BION??? system for distributed neural prosthetic interfaces, Medical Engineering & Physics, vol.23, issue.1, pp.9-18, 2001.
DOI : 10.1016/S1350-4533(01)00011-X

C. A. Petri, Kommunikation mit Automaten, Germany Rahmat-Samii Y., Kim J, 1962.

J. Rushby, Automated Formal Methods Enter the Mainstream, Communications of the Computer Society of India, pp.2-28, 2007.

T. Stieglitz, K. P. Koch, and M. Schuettler, Flexible, Polyimide-Based Modular Implantable Biomedical Microsystems for Neural Prostheses, In IEEE Engineering in Medicine and Biology Magazine, vol.24, pp.5-58, 2005.

W. Ye, J. Heidemann, and D. Estrin, Medium Access Control With Coordinated Adaptive Sleeping for Wireless Sensor Networks, IEEE/ACM Transactions on Networking, vol.12, issue.3, pp.493-506, 2004.
DOI : 10.1109/TNET.2004.828953