@phdthesis{Gue7,
title = {From Timed Component-Based Systems to Time-Triggered Implementations: A Correct-by-Design Approach },
author = {Guesmi, Hela},
year = {2017},
school = {Universit\'e Grenoble Alpes},
team = {RSD},
}
