From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study | Publicación