Proto-a software requirements specification, analysis and validation tool | IEEE Conference Publication | IEEE Xplore