@inproceedings{BFLPT09:FESCA,
author = {L.~Bocchi and J.L.~Fiadeiro and A.~Lapadula and R.~Pugliese and F.~Tiezzi},
title = {{F}rom {A}rchitectural to {B}ehavioural {S}pecification of {S}ervices},
note = {To appear},
booktitle = {Proc. of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA08)},
publisher = {Elsevier},
series = {Electronic Notes in Theoretical Computer Science},
year = {2009},
}