Gérard Berry Synchronous Methodology for Designing Hardware, Software and Mixed Embedded Systems. 24- 2004 conf/vlsid/2004 VLSI Design http://csdl.computer.org/comp/proceedings/vlsid/2004/2072/00/20720024.pdf db/conf/vlsid/vlsid2004.html#Berry04