Cronos: A Separate Compilation Toolset for Modular Esterel Applications.

Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor

Browse the full FM paper archive.