Cadena: an integrated development, analysis, and verification environment for component-based systems
The use of program dependence graphs in software engineering