Application of a multi-formalism co-design methodology for the development of complex telecommunication protocols | Publicación