Requirements Exchange: From Specification Documents to Models | IEEE Conference Publication | IEEE Xplore