Raman Kazhamiakin Andreas Metzger Marco Pistore Towards Correctness Assurance in Adaptive Service-Based Applications. 25-37 2008 ServiceWave http://dx.doi.org/10.1007/978-3-540-89897-9_3 conf/servicewave/2008 db/conf/servicewave/servicewave2008.html#KazhamiakinMP08