@PHDTHESIS{deara2007,
url = "http://www.theses.fr/2007TELE0011",
title = "Automated model-based test generation for timed systems",
author = "de Araujo Rodrigues Vieira, Elisangela",
year = "2007",
pages = "1 vol. (205 p.)",
note = "Thèse de doctorat dirigée par Cavalli, Ana Informatique Evry, Institut national des télécommunications 2007",
note = "2007TELE0011",
}