Wireless protocol testing and validation supported by formal methods. A hands-on report | Publicación