Executable assertion development for the distributed parallel environment | IEEE Conference Publication | IEEE Xplore