Contract Management in Viewpoint Specifications: Experiment in the Electrical Network and the SOA Domains | IEEE Conference Publication | IEEE Xplore