Application of Esterel for modelling and verification of Cachet protocol on CRF memory model | IEEE Conference Publication | IEEE Xplore