Daniel C. Bünzli Sergio Mena Uwe Nestmann Protocol Composition Frameworks A Header-Driven Model. 243-246 2005 conf/nca/2005 NCA http://doi.ieeecomputersociety.org/10.1109/NCA.2005.41 db/conf/nca/nca2005.html#BunzliMN05