Support tool to the validation process of functional requirements | IEEE Journals & Magazine | IEEE Xplore