Elsa L. Gunter Doron Peled Temporal Debugging for Concurrent Systems. 431-444 2002 conf/tacas/2002 TACAS http://dx.doi.org/10.1007/3-540-46002-0_30 db/conf/tacas/tacas2002.html#GunterP02