Consistency analysis for requirements, functions, and system elements: Requirements for the entire development process | IEEE Conference Publication | IEEE Xplore