@phdthesis{Boz10,
title = {Component-Based Design of Real-Time Systems (HDR) },
author = {Bozga, Marius},
year = {2010},
school = {Universit'e Joseph-Fourier - Grenoble I},
team = {DCS, RSD},
}
