Lieven Desmet Frank Piessens Wouter Joosen Pierre Verbaeten Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems. 34-49 2006 conf/soco/2006 Software Composition http://dx.doi.org/10.1007/11821946_3 db/conf/soco/sc2006.html#DesmetPJV06