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