K.m.chandy,r.bagrodia,"wen-toh Liao, Concurrency and discrete-event simulation, ACM transactions on modeling and computer simulation Transactions on modeling and computer simulation;Association for Computing Machinery transactions on modeling and computer simulation;TOMACS , 3(4), 1993, pp. 284-285