Loïc Hélouët Pierre Le Maigat Decomposition of Message Sequence Charts. 47-60 2000 conf/sam/2000 SAM db/conf/sam/sam2000.html#HelouetM00