Reverse extraction of protocol model from network applications | Publicación