@phdthesis{Med9,
title = {Modeling and Analysis of Stochastic Real-Time Systems },
author = {Mediouni, Braham Lotfi},
month = {June},
year = {2019},
school = {University of Grenoble Alpes},
team = {RSD},
}
