@phdthesis{Mor05,
title = {Exploitation des structures r\'eguli\`eres et des sp\'ecifications locales pour le d\'eveloppement correct de syst\`emes r\'eactifs de grande taille },
author = {Morel, Lionel},
year = {2005},
school = {Institut National Polytechnique de Grenoble},
team = {SYNC},
}
