J. Peralta and T. Gautier, “Towards SMV Model Checking of Signal (multi-clocked) Specifications”, eceasst, vol. 23, Dec. 2009.