@phdthesis{Mik05,
title = {Raffinements et preuves de syst\`emes Lustre },
author = {Mik{\'a}c, Jan},
year = {2005},
school = {Universit\'e Joseph Fourier, Grenoble, France},
team = {SYNC},
}