Application of Esterel for Modelling and Verification of Cachet Protocol on CRF Memory Model. - Siddharth R. Phanse; R. K. Shyamasundar (VLSI Design, 2001)