Reasoning about integration issues during requirements definition: a knowledge-based approach | IEEE Conference Publication | IEEE Xplore