author = {M.~Wirsing and
M.~H{\"o}lzl and
L.~Acciai and
F.~Banti and
A.~Clark and
A.~Fantechi and
S.~Gilmore and
S.~Gnesi and
L.~G{\"o}nczy and
N.~Koch and
A.~Lapadula and
P.~Mayer and
F.~Mazzanti and
R.~Pugliese and
A.~Schroeder and
F.~Tiezzi and
M.~Tribastone and
title = {{SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity}},
booktitle = {Proc. of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},
volume = {17},
year = {2008},
pages = {170-190},
publisher = SPRINGER,
series = {Communications in Computer and Information Science},