Liliana Favre Liliana Martinez Formalizing MDA Components. 326-339 2006 conf/icsr/2006 ICSR http://dx.doi.org/10.1007/11763864_24 db/conf/icsr/icsr2006.html#FavreM06