Gérard Berry. Circuit design and verication with Esterel v7 and Esterel Studio. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2007, Irvine, CA, USA, November 7-9, 2007. pages 133-136, IEEE Computer Society, 2007. [doi]
Abstract is missing.