Producing a Global Requirement Model from Multiple Requirement Specifications | IEEE Conference Publication | IEEE Xplore