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