@CONFERENCE{msr03,
    AUTHOR = "D. Gaff\'e",
    TITLE = "Mod\'elisation et v\'erification d'un syst\`eme m\'ecatronique par SyncCharts",
    YEAR = {2003},
    ORGANIZATION = {Mod\'elisation des syst\`emes r\'eactifs (MSR'03), France},
    PAGES = {95-107}
}