Specification of Incremental Requirements Upstream of System Design | IEEE Conference Publication | IEEE Xplore