1. TouchCORE Tool.
http://touchcore.cs.mcgill.ca
2. Lecture Notes in Computer Science;W Al Abed,2013
3. Lecture Notes in Computer Science;O Alam,2013
4. Elrad, T., Bader, A., Mahoney, M., Aldawud, O.: Using aspects to abstract and modularize statecharts. In: 5th Aspect-Oriented Modeling Workshop in Conjunction with UML 2004 (2004)
5. Hoare, C.: Communicating Sequential Processes. Prentice-Hall International, London (1985)