Jin-Young Choi Hee Yong Youn Soonuk Seol Chuck Yoo Distributed Test using Logical Clock. 69-84 2001 conf/forte/2001 FORTE db/conf/forte/forte2001.html#ChoiYSY01