REE-a requirements engineering environment for analyzing and validating software and system requirements | IEEE Conference Publication | IEEE Xplore