Timed High-Level Message Sequence Charts for Real-Time System Design.

Tai Hyo Kim Sung Deok Cha Timed High-Level Message Sequence Charts for Real-Time System Design. 82-98 2006 conf/sam/2006 SAM http://dx.doi.org/10.1007/11951148_6 db/conf/sam/sam2006.html#KimC06