Dumitru Potop-Butucaru Benoît Caillaud Albert Benveniste Concurrency in Synchronous Systems. 67-78 2004 conf/acsd/2004 ACSD http://csdl.computer.org/comp/proceedings/acsd/2004/2077/00/20770067abs.htm db/conf/acsd/acsd2004.html#Potop-ButucaruCB04