PROBMELA: a modeling language for communicating probabilistic processes | IEEE Conference Publication | IEEE Xplore