@phdthesis{Qui11,
title = {Design, Verification and Implementation of Systems of Components },
author = {Quinton, Sophie},
month = {January},
year = {2011},
school = {Universit\'{e} Joseph Fourier, VERIMAG},
team = {DCS},
}
