@misc{ITPOCL,
title ={The {ITP}/{OCL} tool},
author ={M.~Clavel and M.~Egea},
note ={\url{http://maude.sip.ucm.es/itp/ocl/}},
projects = {MERIT,PROMESAS},
butype = {},
year = {2007}
}