Louis Mandel Florence Plateau Abstraction d'horloges dans les systèmes synchrones flot de données. 411-444 2009 JFLA conf/jfla/2009 db/conf/jfla/jfla2009.html#MandelP09