Peter C. Bates Debugging Heterogeneous Distributed Systems Using Event-Based Models of Behavior ACM Trans. Comput. Syst. 13 1 1995 1-31 db/journals/tocs/tocs13.html#Bates95 http://doi.acm.org/10.1145/200912.200913