@conference{SESS11,
author = "Fabio Martinelli and Ilaria Matteucci",
booktitle = "Proceedings of SESS 2011",
doi = "10.1145/1988630.1988634",
note = "CNR, Nessos; no tier; citations 1",
title = "{P}reserving {S}ecurity {P}roperties under {R}efinement",
year = "2011",
}