@conference{martinelli2014partial,
author = "Fabio Martinelli and Ilaria Matteucci",
booktitle = "Public Key Infrastructures, Services and Applications",
note = "rank B, FoR1 0803
Thanks to Aniketos, NESSoS",
pages = "1--11",
publisher = "Springer",
title = "{P}artial {M}odel {C}hecking for the {V}erification and {S}ynthesis of {S}ecure {S}ervice {C}ompositions",
year = "2014",
}