Roberto Zunino Pierpaolo Degano Handling exp, × (and Timestamps) in Protocol Analysis. 413-427 2006 conf/fossacs/2006 FoSSaCS http://dx.doi.org/10.1007/11690634_28 db/conf/fossacs/fossacs2006.html#ZuninoD06