Application of a multi-formalism co-design methodology for the development of complex telecommunication protocols | IEEE Conference Publication | IEEE Xplore