Industrialising formal methods for telecommunications | Publicación