Mike Brayshaw Intelligent Inference For Debugging Concurrent Systems. 461-469 1993 conf/dexa/1993 DEXA db/conf/dexa/dexa93.html#Brayshaw93 http://dx.doi.org/10.1007/3-540-57234-1_45