Şen, A., Garg, V.K., “Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing” , Lecture Notes in Computer Science, 171-183, 2004.