Bibtex de la publication

@InCollection{ Ob2009.2,
author = {Ober, Iulian},
title = "{UML-based modelling and verification of real-time systems}",
booktitle = "{Ecole d'Ete Temps Réel ETR'2009}",
publisher = {Télécom ParisTech},
address = {http://www.telecom-paristech.fr},
year = {2009},
month = {septembre},
editor = {Pautet, Laurent and Berard, Béatrice and Haddad, Serge},
pages = {113--126},
language = {français}
}