@misc{MOVA,
title ={The {MOVA} tool},
author ={M.~Clavel and M.~Egea and V.~Torres and C.~Braga},
note ={\url{http://maude.sip.ucm.es/mova/}},
projects = {MERIT,PROMESAS},
butype = {},
year = {2007}
}