@phdthesis{Del8,
title = {Formal Methods for Distributed Real-Time Systems },
author = {Dellabani, Mahieddine},
year = {2018},
school = {Universit\'e Grenoble Alpes},
team = {RSD},
}