Debugging with Probabilistic Event Structures | IEEE Conference Publication | IEEE Xplore