Paul Caspi Christine Mazuet Rym Salem Daniel Weber Formal Design of Distributed Control Systems with Lustre. 396-409 1999 conf/safecomp/1999 SAFECOMP http://link.springer.de/link/service/series/0558/bibs/1698/16980396.htm db/conf/safecomp/safecomp99.html#CaspiMSW99