@misc{secureMOVA,
title ={The {S}ecure{MOVA} tool},
author ={M.~Clavel and M.~Egea},
note ={\url{http://maude.sip.ucm.es/securemova/}},
projects = {MERIT,PROMESAS},
butype = {},
year = {2007}
}