Martin Wirsing Matthias M. Hölzl Lucia Acciai Federico Banti Allan Clark Alessandro Fantechi Stephen Gilmore Stefania Gnesi László Gönczy Nora Koch Alessandro Lapadula Philip Mayer Franco Mazzanti Rosario Pugliese Andreas Schroeder Francesco Tiezzi Mirco Tribastone Dániel Varró SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. 170-190 2008 ISoLA http://dx.doi.org/10.1007/978-3-540-88479-8_13 conf/isola/2008 db/conf/isola/isola2008.html#WirsingHABCFGGGKLMMPSTTV08