@phdthesis{Lek5,
title = { {Design flow for the rigorous development of networked embedded systems} },
author = {Lekidis, Alexios},
month = {December},
year = {2015},
type = {Theses},
school = {{Universit{\'e} Grenoble Alpes}},
team = {RSD, DCS},
}