A Formal Model of Metacontrol in Maude | Publicación