Static and dynamic verification of indirect data sharing in component-based applications door L. Desmet