Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA | Publicación