Leszek Holenderski Axel Poigné Synchronous Automata for Synchronous Programming Languages. 129-134 1997 conf/fbt/1997 FBT db/conf/fbt/fbt1997.html#HolenderskiP97