Computational Representation And Reasoning Support For Requirements Change Management In Complex System Design