@conference{CianciaMMMPP13,
author = "V. Ciancia and F. Martinelli and I. Matteucci and M. Petrocchi and J. A. Martın and E. Pimentel",
booktitle = "SECSE (Ares workshop)",
note = "Partners: IIT-CNR and UMA; Projects: Nessos, Aniketos, no tier, no citations",
title = "{A}utomated synthesis and ranking of secure {BPMN} orchestrators",
year = "2013",
}