Christel Baier Frank Ciesinski Marcus Größer PROBMELA: a modeling language for communicating probabilistic processes. 57-66 2004 conf/memocode/2004 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2004.1459815 db/conf/memocode/memocode2004.html#BaierCG04