Bibtex de la publication

@InCollection{ BoGrMoOb2008.1,
author = {Bozga, Marius and Graf, Susanne and Mounier, Laurent and Ober, Iulian},
title = "{Modeling and Verification of Real-Time Systems using the IF Toolbox}",
booktitle = "{Modeling and Verification of Real-time Systems}",
publisher = {Wiley},
address = {http://www.wiley.com/},
year = {2008},
month = {janvier},
editor = {Navet, Nicolas and Merz, Stefan},
pages = {319--352},
chapter = {10},
language = {anglais},
URL = {http://www.iste.co.uk/index.php?p=a&ACTION=View&id=195}
}