A Contract-Based Approach to Support Goal-Driven Analysis | IEEE Conference Publication | IEEE Xplore