Anca Muscholl Doron Peled Analyzing Message Sequence Charts. 3-17 2000 conf/sam/2000 SAM db/conf/sam/sam2000.html#MuschollP00