József Kovács Gábor Kusper Róbert Lovas Wolfgang Schreiner Integrating Temporal Assertions into a Parallel Debugger. 113-120 2002 conf/europar/2002 Euro-Par http://dx.doi.org/10.1007/3-540-45706-2_12 db/conf/europar/europar2002.html#KovacsKLS02