@ARTICLE{tsi11,
    AUTHOR = {Daniel Gaff{\'e} and Annie Ressouche},
    TITLE = "Compilation modulaire d'un langage synchrone Sp{\'e}cification, simulation, impl{\'e}mentation et v{\'e}rification d'applications synchrones",
    JOURNAL = {Technique et Science Informatiques TSI},
    YEAR = {2011},
    VOLUME = {30},
    NUMBER = {4},
    PAGES = {441-471},
    PUBLISHER = {Herm\`es},
    ADDRESS = {Paris (F)}
}