@incollection{BGM+06,
title = {La bo{\^i}te \`a outils {IF} pour la mod\'elisation et la v\'erification de syst\`emes temps r\'eel },
author = {Bozga, Marius and Graf, Susanne and Mounier, Laurent and Ober, Iulian},
year = {2006},
booktitle = {Syst\`emes temps r\'eel : techniques de description et de v\'erification},
chapter = {9},
publisher = {Hermes, Lavoisier},
series = {Trait\'e IC2, s\'erie Informatique et syst\`emes d'information},
volume = {1},
team = {DCS,PACSS},
}
