A methodology for verification and analysis of parallel and distributed systems requirements specifications | IEEE Conference Publication | IEEE Xplore