@inbook{martin14,
author = "Jose A. Martin and Fabio Martinelli and Ilaria Mateucci and Ernesto Pimentel and Mathieu Turuani",
chapter = "6",
editor = "Maritta Heissel, Wouter Joosen, Javier Lopez, Fabio Martinelli",
note = "partners: CNR, UMA, INRIA, projects: NESSoS, no tier, to appear (citations: 0)",
publisher = "Springer Berlin / Heidelberg Berlin / Heidelberg",
series = "LNCS",
title = "{O}n the {S}ynthesis of {S}ecure {S}ervices {C}omposition",
volume = "8431",
year = "2014",
}