%O Generic 
%F topcased342
%A Peralta, Julio
%T Bridging Signal with the CADP model checker, a preliminary study
%B Deliverable F342
%I ANR project Topcased
%D 2007