Esterel v7: From Verified Formal Specification to Efficient Industrial Designs.

Gérard Berry Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. 1 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3442&spage=1 2005 conf/fase/2005 FASE db/conf/fase/fase2005.html#Berry05