Leen Lambers Leonardo Mariani Hartmut Ehrig Mauro Pezzè A Formal Framework for Developing Adaptable Service-Based Applications. 392-406 2008 FASE http://dx.doi.org/10.1007/978-3-540-78743-3_29 conf/fase/2008 db/conf/fase/fase2008.html#LambersMEP08