A formal approach to component adaptation | Publicación