Fritjof Boger Engelhardtsen Andreas Prinz Application of Stuck-Free Conformance to Service-Role Composition. 115-132 2006 conf/sam/2006 SAM http://dx.doi.org/10.1007/11951148_8 db/conf/sam/sam2006.html#EngelhardtsenP06