A facility for verification, testing and documentation of concurrent process software | IEEE Conference Publication | IEEE Xplore