@conference{MDSec2012,
author = "V. Ciancia and A. Martin and F. Martinelli and I. Matteucci and M. Petrocchi and E. Pimentel",
booktitle = "Proceedings of Model-Driven Security Workshop (MDSec2012)",
month = "October",
note = "partners: CNR, UMA; projects: Nessos, Aniketos, Connect, No tier; citations 9",
publisher = "ACM-DL",
title = "{A} tool for the synthesis of secure orchestrators",
url = "http://www.iit.cnr.it/node/16907",
year = "2012",
}