@phdthesis{Egea08,
title ={An {E}xecutable {F}ormal {S}emantics for {OCL} with {A}pplications to {M}odel {A}nalysis and {V}alidation},
author ={M.~Egea},
advisor ={M. Clavel},
note ={\url{http://maude.sip.ucm.es/~marina/pubs/}},
school ={Universidad Complutense de Madrid},
projects = {MERIT,PROMESAS},
butype = {},
year ={2008}
}