Lionel Morel: Exploitation des structures régulières et des spécifications locales pour le développement correct de systèmes réactifs de grande taille. Grenoble Institute of Technology, France 2005