Useful links
GDR-MACS : Groupe de Recherche "Modelisation, Analyse et Conduite de Systemes dynamiques"
AFSEC : Approches Formelles des Systèmes Embarqués Communicants
IEEE Xplore: http://ieeexplore.ieee.org/Xplore/guesthome.jsp
Sciencedirect: http://www.sciencedirect.com/
CiteSeer :: Scientific Liturature Digital Library
Open Archives HAL: http://hal.archives-ouvertes.fr/
Wikipedia: http://www.wikipedia.org/