@phdthesis{Ben16a,
title = {{Compositional Verification of Component-based Real-time Systems and Applications} },
author = {Ben Rayana - Tekaya, Souha},
month = {Nov},
year = {2016},
type = {Theses},
school = {{Universit{\'e} Grenoble Alpes}},
team = {RSD},
}