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