Property-Preserving Evolution of Components Using VPA-Based Aspects