@phdthesis{Kek8,
title = {Formal Verification of Cyber-Physical Systems in the Industrial Model-Based Design Process },
author = {Kekatos, Nikolaos},
month = {December},
year = {2018},
school = {Universit{\'e} Grenoble Alpes},
team = {TEMPO},
date = {December, 17, 2018},
}
