@misc{EOS,
title ={The {EOS} component},
author ={M.~Garc\'ia-de Dios and M.~Egea and M.~Clavel},
projects = {MERIT,PROMESAS},
butype = {},
note ={\url{http://maude.sip.ucm.es/eos}},
year ={2008}
}