A Constraint-Oriented Service Creation Environment. - Bernhard Steffen; Tiziana Margaria; Andreas Claßen; Volker Braun; Rita Nisius; Manfred Reitenspieß (TACAS, 1996)