1. Hélouët, L., Jard, C.: Conditions for Synthesis of Communicating Automata from HMSCs. In: Schieferdecker, I. (ed.) 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), ARE. Stefania-Gnesi, GMD FOKUS (April 2000)
2. Lecture Notes in Computer Science;J. Esparza,1999
3. Lecture Notes in Computer Science;A. Muscholl,2001
4. MacMillan, K.: A Technique of State Space Search Based on Unfolding. Journal of Formal Methods and System Design 9, 1–22 (1992)
5. Abdallah, M., Khendec, F., Butler, G.: New Results on Deriving SDL Specifications from MSCs. In: Proc. of 9th SDL Forum, Montreal, pp. 51–66