Automated integrated support for requirements-area and validation processes related to system development | IEEE Conference Publication | IEEE Xplore