Bibtex de la publication

@InCollection{ BoGrMoOb2006.1,
author = {Bozga, Marius and Graf, Susanne and Mounier, Laurent and Ober, Iulian},
title = "{La boîte à outils IF}",
booktitle = "{Systèmes Temps Réel: Techniques de description et de vérification}",
publisher = {Hermès},
address = {http://www.editions-hermes.fr/},
year = {2006},
editor = {Navet, Nicolas},
pages = {293--326},
chapter = {9},
volume = {I},
language = {français}
}