Parallel Proto-a prototyping tool for analyzing and validating sequential and parallel processing software requirements | IEEE Conference Publication | IEEE Xplore