From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study. - Manuel J. Fernández-Iglesias; Francisco J. González-Castaño; José M. Pousada Carballo; Martín Llamas Nistal; Alberto Romero Feijoo (FME, 2001)