A Formal Framework for Interaction Protocol Engineering | Publicación