Peralta, J.; Gautier, T. Towards SMV Model Checking of Signal (multi-Clocked) Specifications. ECEASST 2009, 23.