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