@PHDTHESIS{badue2019,
url = "http://www.theses.fr/2019TOU20083",
title = "An integrated model-based early validation approach for railway systems",
author = "Baduel, Ronan",
year = "2019",
note = "Thèse de doctorat dirigée par Bruel, Jean-Michel et Ober, Iulian Sorin Informatique Toulouse 2 2019",
note = "2019TOU20083",
url = "http://www.theses.fr/2019TOU20083/document",
}