Dumitru Potop-Butucaru Benoît Caillaud Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. 48-57 2005 conf/acsd/2005 ACSD http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.10 db/conf/acsd/acsd2005.html#Potop-ButucaruC05