In Sang Chung Hyeon Soo Kim Hyun Seop Bae Yong Rae Kwon Byung-Sun Lee Testing of Concurrent Programs Based on Message Sequence Charts. 72-82 1999 PDSE http://computer.org/proceedings/pdse/0191/01910072abs.htm db/conf/pdse/pdse1999.html#ChungKBKL99