A Maude specification of an object-oriented model for telecommunication networks | Publicación