L. Hélouët and C. Jard, Conditions for Synthesis of Communicating Automata from HMSCs, 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), ARE, GMD FOKUS, 2000.

J. Esparza and S. Römer, An Unfolding Algorithm for Synchronous Products of Transition Systems, Proc. of Concur, pp.2-20, 1999.
DOI : 10.1007/3-540-48320-9_2

A. Muscholl and D. Peled, From Finite State Communication Protocols to High-Level Message Sequence Charts, Proc. of ICALP'01, pp.720-731, 2001.
DOI : 10.1007/3-540-48224-5_59
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.2872

K. and M. Millan, A Technique of State Space Search Based on Unfolding, Journal of Formal Methods and System Design, vol.9, pp.1-22, 1992.

M. Abdallah, F. Khendec, and G. Butler, New Results on Deriving SDL Specifications from MSCs, Proc. of 9th SDL Forum, pp.51-66

M. Mukund, K. N. Kumar, and P. S. Thiagarajan, Netcharts: Bridging the Gap between HMSCs and Executable Specifications, Proc. of Concur 2003, Lecture Notes in Computer Science 2761, pp.296-310, 2003.
DOI : 10.1007/978-3-540-45187-7_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.8029

E. Rudolph, O. Graubmann, and J. Grabowski, Tutorial on Message Sequence Charts, Computer Networks and ISDN Systems -SDL and MSC, 1996.
DOI : 10.1016/0169-7552(95)00122-0

G. Booch, I. Jacobson, and J. Rumbaugh, Unified Modeling Language User Guide, 1997.